Logic programming: proceedings of the 1996 Joint International Confe… by Maher, Michael, International Conference on Logic Programming, Bonn, Allemagne), International Symposium on Logic Programming, Bonn, Allemagne) fromLogic programming (Cambridge, Mass.) 0 Type: Book