On the Decision Problem for the Guarded Fragment with Transitivity.

Wieslaw Szwast Lidia Tendera On the Decision Problem for the Guarded Fragment with Transitivity. 147-156 2001 LICS db/conf/lics/lics2001.html#SzwastT01