A note on autodense related languages Chen-Ming FanC. C. HuangKuo-Hsiang Chen Original Article 09 May 2010 Pages: 209 - 219
On regular temporal logics with past Christian DaxFelix KlaedtkeMartin Lange Original Article 15 May 2010 Pages: 251 - 277