Metalevel control for logic programs (1982)

by H Gallaire, C Lasserre
Venue:Logic Programming