The complexity of the A B C problem. - Cai, Jin-Yi; Lipton, Richard J.; Zalcstein, Yechezkel (SIAM Journal on Computing, 2000)