Fred Kröger Stephan Merz Temporal logic and recursion. 261-281 1991 14 Fundam. Inform. 2 db/journals/fuin/fuin14.html#KrogerM91