Consistency Testing: The RACE Experience.

Volker Haarslev, Ralf Mller

Browse the full TABLEAUX paper archive.