1. Bryant, C., Muggleton, S., Oliver, S., Kell, D., Reiser, P., King, R.: Combining inductive logic programming, active learning and robotics to discover the function of genes. Linkoping Electronic Articles in Computer and Information Science 6 (2001)
2. Deville, Y., Gilbert, D., van Helden, J., Wodak, S.: An overviewof data models for the analysis of biochemical pathways. Briefings in Bioinformatics 4, 246–259 (2003)
3. Doherty, P., Łukaszewicz, W., Szałas, A.: Computing circumscription revisited. Journal of Automated Reasoning 18, 297–336 (1997)
4. Gabbay, D.M., Ohlbach, H.J.: Quantifier elimination in second-order predicate logic. In: Nebel, B., Rich, C., Swartout, W. (eds.) Principles of Knowledge Representation and Reasoning, KR 1992, pp. 425–435 (1992)
5. Nonnengart, A., Szałas, A.: A fixpoint approach to second-order quantifier elimination with applications to correspondence theory. In: Orłowska, E. (ed.) Logic atWork: Essays Dedicated to the Memory of Helena Rasiowa, pp. 307–328. Springer Physica-Verlag (1998)