%0 Conference Proceedings
%A Herlihy, Brian
%A Schachte, Peter
%A Sondergaard, Harald
%D 2006
%T Boolean equation solving as graph traversal
%E Gudmundsson, Joachim
%E Jay, Barry
%B Twelfth Computing: The Australasian Theory Symposium (CATS2006)
%C Hobart, Australia
%I ACS
%V 51
%P 123-132
%S CRPIT
%! Boolean equation solving as graph traversal
%F CRPITV51-123-132
%Z abstract
%U http://crpit.com/confpapers/CRPITV51Herlihy.pdf