Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-217.pdf (beliebiger Volltext), 204KB
Hanus, M.(1992). An abstract interpretation algorithm for residuating logic programs (MPI-I-92-217). Saarbrücken: Max-Planck-Institut für Informatik.