Notes on sconing and relators (1992)

by J Mitchell, A Scedrov
Venue:of Lecture Notes in Computer Science