A parameterized proof manager (1994)

by Konrad Slind
Venue:Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, volume 859 of Lecture Notes in Computer Science