Bart Vergauwen Johan Lewi Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. 304-315 1994 conf/icalp/1994 ICALP db/conf/icalp/icalp94.html#VergauwenL94 http://dx.doi.org/10.1007/3-540-58201-0_77