Authors: L.Difa

Citation: L.difa, Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving, Journal of automated reasoning , 18(1), 1997, pp. 105-134