Authors: M.A.Suchenek

Citation: M.a.suchenek, First-Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment, Journal of automated reasoning , 10(2), 1993, pp. 237-264

Authors: M.A.Suchenek

Citation: M.a.suchenek, Evaluation of Queries under Closed-World Assumption.PartII:The Hierarchical Case, Journal of automated reasoning , 25(4), 2000, pp. 247-289

Authors: M.A.Suchenek

Citation: M.a.suchenek, Evaluation of Quesries under Closed-World Assumption, Journal of automated reasoning , 18(3), 1997, pp. 357-398