@misc{indiciae3b311ff4072a,
  title = {Analysis of Boolean Equation Systems through Structure Graphs},
  author = {Michel A. Reniers and Tim A. C. Willemse},
  year = {2010},
  doi = {10.4204/eptcs.18.7},
  url = {https://arxiv.org/abs/1002.2873},
  note = {Source identifier: 1002.2873}
}