Erich Grädel: Invited Talk: Decision procedures for guarded logics. CADE 1999: 31-51