Amalgamating language and meta-language (1982)

by K BOWEN, R KOWALSKI
Venue:In Logic Programming