A Meta-Level Extension of Prolog, in (1985)

by K A Bowen, W Weinberg
Venue:Proc. of the 1985 Symp. on Logic Programming, IEEE Computer