|
Cite as: Herlihy, B., Schachte, P. and Sondergaard, H. (2006). Boolean equation solving as graph traversal. In Proc. Twelfth Computing: The Australasian Theory Symposium (CATS2006), Hobart, Australia. CRPIT, 51. Gudmundsson, J. and Jay, B., Eds. ACS. 123-132. |
(from crpit.com) (local if available) |