Analytic Tableaux for Higher-Order Logic with Choice.

Julian Backes, Chad E. Brown

Browse the full CADE paper archive.