Notes on sconing and relators (1993)

by J Mitchell, A Scedrov
Venue:In CSL '92: 1992 Computer Science Logic Proceedings, Lecture Notes in Computer Science