Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher. Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. In Janusz Górski, editor, The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993. pages 73-82, Springer, 1993. [doi]
Abstract is missing.