"Logic Programming, Proceedings of the Seventh International Conference, ..."

David H. D. Warren, Péter Szeredi (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics