Cited By
View all- Slaney J(2019)Visualising ReasoningElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2012.06.006285:C(57-70)Online publication date: 5-Jan-2019
- Sutcliffe G(2006)The CADE-20 automated theorem proving competitionAI Communications10.5555/1162486.116249119:2(173-181)Online publication date: 1-Jan-2006
- McCune W(2006)Semantic guidance for saturation proversProceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation10.1007/11856290_4(18-24)Online publication date: 20-Sep-2006