Distributed local resolution of Boolean equation systems | IEEE Conference Publication | IEEE Xplore