R.A.: “Amalgamating language and metalanguage in logic programming (1982)

by K A Bowen, Kowalski
Venue:In Logic Programming