Building A Deductive Database by Miguel Nussbaum