Abstract Syntax and Logic Programming (1992)

by D Miller
Venue:In Proc. 1st and 2nd Russian Conf. on Logic Programming