On a Generalization of Horn Constraint Systems.

Piotr Wojciechowski, Ramaswamy Chandrasekaran, K. Subramani

Browse the full CSR paper archive.