Dimopoulos, Yannis Programming Logics, MPI for Informatics, Max Planck Society;
Dimopoulos, Y. (1994). Classical Methods in Nonmonotonic Reasoning. In Z. Ras, & M. Zemankova (Eds.), Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94) (pp. 500-510). Berlin, Germany: Springer.