Steffen Reith: Generalized satisfiability problems. Julius Maximilians University Würzburg, Germany 2001