Mozes, 1989. A deductive database based on aristotelian logic.. https://doi.org/10.1016/s0747-7171(89)80030-6