Advances in logic programming theory /
Levi, Giorgio,1942-
Oxford : Oxford University Press,
1994.