Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Backes, Julian
and
Brown, Chad E.
2010.
Automated Reasoning.
Vol. 6173,
Issue. ,
p.
76.
Backes, Julian
and
Brown, Chad Edward
2011.
Analytic Tableaux for Higher-Order Logic with Choice.
Journal of Automated Reasoning,
Vol. 47,
Issue. 4,
p.
451.
Benzmüller, Christoph
and
Miller, Dale
2014.
Computational Logic.
Vol. 9,
Issue. ,
p.
215.
Benzmüller, Christoph
Sultana, Nik
Paulson, Lawrence C.
and
Theiß, Frank
2015.
The Higher-Order Prover Leo-II.
Journal of Automated Reasoning,
Vol. 55,
Issue. 4,
p.
389.
Benzmüller, Christoph
2017.
Cut-Elimination for Quantified Conditional Logic.
Journal of Philosophical Logic,
Vol. 46,
Issue. 3,
p.
333.