Completing partial combinatory algebras with unique head-normal forms (1996)

by I Bethke, J W Klop, R C de Vrijer
Venue:In: Proc. 11 th Annual IEEE Symposium on Logic and Computer Science