Authors: K.Horwein

Citation: K.horwein, Structuring Resolution Proffs by Introducing New Lemmata, Journal of automated reasoning , 19(2), 1997, pp. 173-203