"Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, ..."

Derek R. Brough (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics