Authors: H.J.Ohlbach,C.Weidenbach

Citation: H.j.ohlbach,c.weidenbach, A Note on Assumptions about Skolem Functions, Journal of automated reasoning , 15(2), 1995, pp. 267-275

Authors: H.J.Ohlbach

Citation: H.j.ohlbach, Elimination of Self-Resolving Clauses, Journal of automated reasoning , 20(3), 1998, pp. 317-336