Combinatory logic programming (1994)

by J Lipton
Venue:Proceedings of the Eleventh International Logic Programming Symposium