Robert Demolombe Luis Fariñas del Cerro An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. 183-206 1988 5 J. Log. Program. 3 db/journals/jlp/jlp5.html#DemolombeC88