Fair Constraint Merging Tableaux in Lazy Functional Programming Style.

Reiner Hhnle, Niklas Srensson

Browse the full TABLEAUX paper archive.