Minimizing Counterexample of ACTL Property - Shen, ShengYu (Springer, 2005)