"A computational model for logic programming languages and its supporting ..."

Jiwei Wang (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics