Herbrand Constructivization for Automated Intuitionistic Theorem Proving.

Gabriel Ebner

Browse the full TABLEAUX paper archive.