TY  - RPRT
TI  - Analysis of Boolean Equation Systems through Structure Graphs
AU  - Michel A. Reniers
AU  - Tim A. C. Willemse
PY  - 2010
DO  - 10.4204/eptcs.18.7
UR  - https://arxiv.org/abs/1002.2873
ID  - 1002.2873
ER  -