On ACTL Formulas Having Deterministic Counterexamples (1999)

by F Buccafurri, T Eiter, G Gottlob, N Leone
Venue:Institut fur Informationssysteme