Authors: A.Ramesh,B.Beckert,R.Hahnle,N.V.Murray

Citation: A.ramesh,b.beckert,r.hahnle,n.v.murray, Fast Subsumption Checks Using Anti-Links, Journal of automated reasoning , 18(1), 1997, pp. 47-83

Authors: R.Hahnle

Citation: R.hahnle, Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux, Journal of automated reasoning , 13(2), 1994, pp. 211-222