Constraint Model Elimination and a PTTP-Implementation.

Peter Baumgartner, Frieder Stolzenburg

Browse the full TABLEAUX paper archive.