Temporal logic with predicate abstraction (2004)

by Alexei Lisitsa, Igor Potapov