Guy Even Tamir Levi Ami Litman Optimal Conclusive Sets for Comparator Networks. 304-317 2007 conf/sirocco/2007 SIROCCO http://dx.doi.org/10.1007/978-3-540-72951-8_24 db/conf/sirocco/sirocco2007.html#EvenLL07