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