Mark E. Stickel 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings CADE Lecture Notes in Computer Science 449 Springer 1990 3-540-52885-7 db/conf/cade/cade90.html