iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tocl/KeirenRW12.xml
Jeroen Keiren Michel A. Reniers Tim A. C. Willemse Structural Analysis of Boolean Equation Systems. 8:1-8:35 2012 13 ACM Trans. Comput. Log. 1 https://doi.org/10.1145/2071368.2071376 db/journals/tocl/tocl13.html#KeirenRW12