Ganesalingam, M <br/><br/>
A Fully Automatic Theorem Prover with Human-Style Output.  [electronic resource] 

 -  Journal of automated reasoning  2017 
 - 253-291 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>1573-0670 
<br/><br/><label>Standard No.: </label>10.1007/s10817-016-9377-1  doi