Increasing Implementability of beta-driven Threshold Checkers.

Victor Varshavsky Ilya Levin Vladimir Ostrovsky Increasing Implementability of beta-driven Threshold Checkers. 158 2003 conf/iolts/2003 IOLTS http://csdl.computer.org/comp/proceedings/iolts/2003/1968/00/19680158.pdf db/conf/iolts/iolts2003.html#VarshavskyLO03