Jeroen J. A. Keiren, Michel A. Reniers, Tim A. C. Willemse. Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log., 13(1):8, 2012. [doi]
@article{KeirenRW12, title = {Structural Analysis of Boolean Equation Systems}, author = {Jeroen J. A. Keiren and Michel A. Reniers and Tim A. C. Willemse}, year = {2012}, doi = {10.1145/2071368.2071376}, url = {http://doi.acm.org/10.1145/2071368.2071376}, researchr = {https://researchr.org/publication/KeirenRW12}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {13}, number = {1}, pages = {8}, }