Dimopoulos, Yannis Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-229.pdf (Any fulltext), 24MB
Dimopoulos, Y.(1994). Classical methods in nonmonotonic reasoning (MPI-I-94-229). Saarbrücken: Max-Planck-Institut für Informatik.