1. A. Aliseda-Llera.Seeking Explanations: Abduction in Logic
Philosophy of Science and Artificial Intelligence,ILLC-Publications, University of Amsterdam, 1997.
2. G. Antoniou. Nonmonotonic Reasoning. MIT Press, 1997.
3. [3] H. Barringer, M. Fisher, G. Gough, D. Gabbay and R. Owens.METATEM: A Framework for Programming in Temporal Logic.In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness
4. P. Baumgartner, R Frohlich, U. Furbach, W. Nejdl.Tableaux for Diagnosis Applications. TABLEAUX 97, Springer LNAI 1227, 1997.
5. P. A. Bonatti and N. Olivetti.A Sequent Calculus for Skeptical Default Logic. Proc. TABLEAUX 97, Springer LNAI 1227, 1997