Barth, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-233.pdf (Any fulltext), 145KB
Barth, P.(1992). CLP(PB) - A Meta-Interpreter in CLP(R) (MPI-I-92-233). Saarbrücken: Max-Planck-Institut für Informatik.