Deductive Database Tools. - Rodney W. Topor; Teresa Keddis; Derek W. Wright (Aust. Comput. J., 1985)