Emanuel Kieronski. EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. In Helmut Alt, Afonso Ferreira, editors, STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings. Volume 2285 of Lecture Notes in Computer Science, pages 608-619, Springer, 2002. [doi]
Abstract is missing.