Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming - Maher (IEEE, 2003)