Authors: G.Sutcliffe,C.B.Suttner

Citation: G.sutcliffe,c.b.suttner, The CADE-15 ATP System Competition, Journal of automated reasoning , 23(1), 1999, pp. 1-23

Authors: C.B.Suttner

Citation: C.b.suttner, SPS-Parallelism+SETHEO=SPTHEO, Journal of automated reasoning , 22(4), 1999, pp. 397-431