1. de Giacomo, G.: Intensional query answering by partial evaluation. Journal of Intelligent Information Systems 7(3), 205–233 (1996)
2. del Val, A.: A new method for consequence finding and compilation in restricted languages. In: Proceedings of AAAI 1999, pp. 259–264 (1999)
3. LNAI;R. Demolombe,1992
4. Lecture Notes in Artificial Intelligence;R. Demolombe,1998
5. Demolombe, R., del Cerro, L.F.: An inference rule for hypothesis generation. In: Proceedings of IJCAI 1991, pp. 152–157. Morgan Kaufmann, San Francisco (1991)