Introduction to Guarded Logics. - Thoralf Räsch (Automata, Logics, and Infinite Games, 2001)

A new condensation principle. - Thoralf Räsch; Ralf Schindler (Arch. Math. Log., 2005)