Cited By
View all- Kühlwein DUrban J(2015)MaLeSJournal of Automated Reasoning10.1007/s10817-015-9329-155:2(91-116)Online publication date: 1-Aug-2015
- Kovács LVoronkov A(2013)First-Order Theorem Proving and VampireProceedings of the 25th International Conference on Computer Aided Verification - Volume 804410.5555/2958031.2958033(1-35)Online publication date: 13-Jul-2013
- Sutcliffe G(2013)The 6th IJCAR automated theorem proving system competition --CASC-J6AI Communications10.5555/2594582.259458626:2(211-223)Online publication date: 1-Apr-2013
- Show More Cited By