Renaming a Set of Non-Horn Clauses.

Xumin Nie, Qing Guo

Browse the full ISMIS paper archive.