Canonical Constructive Systems.

Arnon Avron, Ori Lahav

Browse the full TABLEAUX paper archive.