Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic.

Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk

Browse the full IJCAR paper archive.