Radu Mateescu CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. 37-56 2006 8 STTT 1 http://dx.doi.org/10.1007/s10009-005-0194-9 db/journals/sttt/sttt8.html#Mateescu06