"Logic Programming, Proceedings of the North American Conference 1989, ..."

Ewing L. Lusk, Ross A. Overbeek (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics