1. Athakravi, D.: Inductive logic programming using bounded hypothesis space. Ph.D. thesis, Imperial College London (2015)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Athakravi,2014
3. Blockeel, H., De Raedt, L.: Top-down induction of first-order logical decision trees. Artif. Intell. 101(1), 285–297 (1998)
4. Brain, M., Cliffe, O., De Vos, M.: A pragmatic programmer’s guide to answer set programming. In: Answer Set Programming, p. 49 (2009)
5. Corapi, D., Russo, A.: ASPAL. Proof of soundness and completeness. Technical report, Department of Computing (DTR11-5), Imperial College, London (2011)