Hudson Turner: Order-consistent programs are cautiously monotonic. Theory Pract. Log. Program. 1(4): 487-495 (2001)