Notes on sconing and relators. Pages 352--378 of (1993)

by J C Mitchell
Venue:Lecture Notes in Computer Science