Ann. Math. Artif. Intell., 8 (3-4), pp. 475–502, 1993.
Proving Formulas through Reduction to Decidable Classes Inproceedings
Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings, pp. 1–10, 1993.
Non-Omniscient Belief as Context-Based Resoning Inproceedings
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 548–554, 1993.
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 548–557, 1993.
A Knowledge Based System for Automatic 3D Scene Inproceedings
AIMSA, pp. 255–264, 1992.
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic Inproceedings
SCAI, pp. 84–89, 1991.
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas Inproceedings
ECAI, pp. 607–609, 1988.