Dag-Like Unit Refutations in UTVPI Constraint Systems.

Piotr Wojciechowski, K. Subramani

Browse the full WALCOM paper archive.