editors. Theorem Proving (1996)

by J von Wright, J Grundy, J Harrison
Venue:in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science