On ACTL formulas having deterministic counterexamples (1999)

by F Buccafurri, T Eiter, G Gottlob, N Leone