Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators.

Zoltán Ésik Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators. 43-58 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2450&spage=43 2002 conf/dlt/2002 Developments in Language Theory db/conf/dlt/dlt2002.html#Esik02