The semantics of reflectedproof (1990)

by S Allen, R Constable, D Howe, W Aitken
Venue:Fifth Annual IEEE Symposium on Logic in Computer Science