Michael Bauland: Complexity results for boolean constraint satisfaction problems. University of Hanover 2007, ISBN 978-3-86727-151-6, 1-91