Vasiliki Efstathiou Anthony Hunter An Algorithm for Generating Arguments in Classical Predicate Logic. 119-130 2009 ECSQARU http://dx.doi.org/10.1007/978-3-642-02906-6_12 conf/ecsqaru/2009 db/conf/ecsqaru/ecsqaru2009.html#EfstathiouH09