Cited By
View all- Urquhart A(2018)The Depth of Resolution ProofsStudia Logica10.1007/s11225-011-9356-999:1-3(349-364)Online publication date: 21-Dec-2018
- Segerlind N(2014)The Complexity of Propositional ProofsBulletin of Symbolic Logic10.2178/bsl/120335087913:04(417-481)Online publication date: 15-Jan-2014
- Bonacina IGalesi NThapen N(2014)Total Space in ResolutionProceedings of the 2014 IEEE 55th Annual Symposium on Foundations of Computer Science10.1109/FOCS.2014.74(641-650)Online publication date: 18-Oct-2014
- Show More Cited By