"Programming Language Implementation and Logic Programming, 4th ..."

Maurice Bruynooghe, Martin Wirsing (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics