de Vrijer, Completing partial combinatory algebras with unique headnormal forms (1996)

by I Bethke, J W Klop, R
Venue:in: Logic in Computer Science, IEEE Computer