Logic programmimg : proceedings of the joint international conference and symposium on logic programming /
Apt, Krzysztof.
Cambridge, Mass. ; London : MIT,
1992.