Logic programming: proceedings of the 1991 International Symposium by Saraswat, Vijay, International Symposium on Logic Programming, San Diego (Calif.)) fromLogic programming 0 Type: Book
