StringologyTimes
Data Structures and Algorithms: 2006/3/29-31
1:
Complexity of Monadic inf-datalog. Application to temporal logic