Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.

Frank M. Brown

Browse the full TABLEAUX paper archive.