Frank Pfenning Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings LPAR Lecture Notes in Computer Science 822 Springer 1994 3-540-58216-9 db/conf/lpar/lpar94.html