"Optimizing Horn Clause Logic Programs for Particular Modes of Use: An ..."

Carl Gustaf Jansson, Henrik Boström, Peter Idestam-Almquist (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics