Hudson Turner Order-consistent programs are cautiously monotonic. 487-495 2001 1 TPLP 4 db/journals/tplp/tplp1.html#Turner01