TY - BOOK AU - Apt,Krzysztof TI - Logic programming: Proceedings of the Joint International Conference and Symposium on Logic Programming PY - 1992/// CY - Cambridge PB - The MIT Press ER -