Logic programming: proceedings of the 1996 Joint International Confe… by Maher, Michael, Joint International Conference and Symposium on Logic Programming, Bonn, Germany) fromLogic programming 0 Type: Book
