Metalevel control for logic programs (1982)

by H GALLAIRE, C LASSERRE
Venue:In Logic Programming