Beyond Consistency: A Closer Look at Free Formulas.

Ofer Arieli, Badran Raddaoui, Christian Straer

Browse the full KR paper archive.