"Minimizing Counterexample of ACTL Property."

ShengYu Shen, Ying Qin, Sikun Li (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics