Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method.

Sean McLaughlin, Frank Pfenning

Browse the full CADE paper archive.