Open proofs and open terms: A basis for interactive logic (2002)

by H Geuvers, G Jojgov
Venue:In Computer Science Logic