Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction.

Andrei Voronkov

Browse the full TABLEAUX paper archive.