Hudson Turner Order-consistent programs are cautiously monotonic http://arxiv.org/abs/cs.LO/0011042 2000 CoRR cs.LO/0011042 db/journals/corr/corr0011.html#cs-LO-0011042 informal publication