1

Unification in linear temporal logic LTL

E-Article
2