Processing Indefinite Deductive Databases under the Possible Model Semantics. - Johnson, C.A. (Fundamenta Informaticae, 2002)