Notes on sconing and relators (1993)

by J C Mitchell, A Scedrov
Venue:Proceedings of the 6th International Workshop on Computer Science Logic (CSL’92