"Logic Programming, Proceedings of the 1991 International Symposium, San ..."

Vijay A. Saraswat, Kazunori Ueda (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics