Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (MIT, 1996)
Includes index