"On Some Aspects of Mixed Horn Formulas."

Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics