Apt, Krzysztof Logic programming : Proceedings of the Joint International Conference and Symposium on Logic Programming / Krzysztof Apt - Cambridge : The MIT Press, c 1992 - xx, 848 p.;, 23 cm. Universal Decimal Class. No.: 519.682