Implementation of Proof Search in the Imperative Programming Language Pizza.

Christian Urban

Browse the full TABLEAUX paper archive.