On the Computational Complexity of Quantified Horn Clauses.

Marek Karpinski, Hans Kleine Bning, Peter H. Schmitt

Browse the full CSL paper archive.