Cited By
View all- Bender MPelzer BSchon C(2013)System descriptionProceedings of the 24th international conference on Automated Deduction10.1007/978-3-642-38574-2_8(126-134)Online publication date: 9-Jun-2013
- Sofronie-Stokkermans V(2007)Automated theorem proving by resolution in non-classical logicsAnnals of Mathematics and Artificial Intelligence10.1007/s10472-007-9051-849:1-4(221-252)Online publication date: 1-Apr-2007