Automatic generation of efficient oracles: The less-than case | Publicación