Nachum Dershowitz E. Castedo Ellerman Leanest Quasi-orderings. 32-45 http://dx.doi.org/10.1007/978-3-540-32033-3_4 2005 conf/rta/2005 RTA db/conf/rta/rta2005.html#DershowitzE05