Recognition of q-Horn Formulae in Linear Time

Endre Boros, Peter L. Hammer, Xiaorong Sun. Recognition of q-Horn Formulae in Linear Time. Discrete Applied Mathematics, 55(1):1-13, 1994. [doi]

Abstract

Abstract is missing.