Authors: J.F.Groote:J.P.Warners

Citation: J.f.groote:j.p.warners, The Propositional Formula Checker HerrHugo, Journal of automated reasoning , 24(1/2), 2000, pp. 101-125