"MP: An Efficient Method for Calculating the Minimum Herbrand Model of ..."

Anke D. Rieger (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics