Linear Analytic Tableaux.

Robert K. Meyer, Michael A. McRobbie, Nuel Belnap

Browse the full TABLEAUX paper archive.