Sharon Keidar Yoav Rodeh Searching for Counter-Examples Adaptively. 2003 conf/iwfm/2003 IWFM http://ewic.bcs.org/conferences/2003/iwfm03/papers/paper2.htm db/conf/iwfm/iwfm2003.html#KeidarR03