Brian Herlihy, Peter Schachte, Harald Søndergaard. Boolean equation solving as graph traversal. In Joachim Gudmundsson, C. Barry Jay, editors, Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings. Volume 51 of CRPIT, pages 123-132, Australian Computer Society, 2006. [doi]
Abstract is missing.