"Logic Programming, Proceedings of the Eleventh International Conference on ..."

Pascal Van Hentenryck (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics