C.E.: Analytic Tableaux for Higher-Order Logic with Choice. (2010)

by J Backes, Brown
Venue:Automated Reasoning: 5th International Joint Conference, IJCAR 2010,