Meta-level control for logic programs (1982)

by M Gallaire, C Lasserre
Venue:Logic Programming