Authors: L.M.Hines

Citation: L.m.hines, Completenes of a Prover for Dense Linear Orders, Journal of automated reasoning , 8(1), 1992, pp. 45-76