Logic programming : proceedings of the 1991 international symposium / - Saraswat, Vijay.; Ueda, Kazunori. (MIT Press, 1991)