8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings
Automated Deduction - Cade-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Automated Deduction, Cade-12. 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings.
5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture Notes in Computer Science, 607)
Logics of Programs Brooklyn, June 17-19, 1985
