Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-218.pdf (Any fulltext), 116KB
Basin, D. A.(1994). Logic frameworks for logic programs (MPI-I-94-218). Saarbrücken: Max-Planck-Institut für Informatik.