Deductive Databases and Logic Programming (International Series in Logic Programming, 1992)