Logic Programming : proceedings of the Joint International Conference and Symposium on Logic Programming - Apt, Krzysztof R., 1949- (Massachusetts Institute of Technology, 1992)