Harold N. Gabow, Ronald Fagin: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005. ACM 2005, ISBN 978-1-58113-960-0