Generalized satisfiability problems - Reith, Steffen (2001)
Würzburg, Univ., Diss., 2001