Higher-order logic programming in Prolog (1996)

by Lee Naish
Venue:Department of Computer Science, University of Melbourne