A Connection Based Proof Method for Intuitionistic Logic.

Jens Otten

Browse the full TABLEAUX paper archive.