A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. - Benedetto Intrigila; Ivano Salvo; Stefano Sorgi (Inf. Comput., 2001)