Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
Joint International Conference and Symposium on Logic Programming(1996 :Bonn, Germany)
Maher, Michael,1959-
Cambridge, Mass. ; London : MIT,
c1996.
Includes index
Logic programming