R. Reddy Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, August 1977 IJCAI William Kaufmann 1977 db/conf/ijcai/ijcai77.html