Deductive databases and logic programming - Kumar Das, Sobrata (International series in logic programming, 1992)