Title: First International Workshop on Larch
Subjects: Automatic theorem proving, Congresses, Larch prover