TY - RPRT TI - Order-consistent programs are cautiously monotonic AU - Hudson Turner PY - 2000 UR - https://arxiv.org/abs/cs/0011042 ID - cs/0011042 ER -