Title: Proceedings of the First International Workshop on Larch, Dedham, USA, 13-15 July 1992
Subjects: Automatic theorem proving