Logic programming : proceedings of the 1991 International Symposium /
Saraswat, Vijay.
Ueda, Kzunori.
International Symposium on Logic Programming(1990 :San Diego, Calif.)
Cambridge, Mass. ; London : MIT Press,
c1991.