On the Complexity of Equational Horn Clauses.

Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentick

Browse the full CADE paper archive.