@techreport{KazNiv:04:ResGFTG:TR,
  title = "Resolution Decision Procedures for the Guarded Fragment with Transitive Guards",
  author = "Yevgeny Kazakov and Hans de Nivelle",
  year = "2004",
  address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany",
  institution = "Max-Planck-Institut f{\"u}r Informatik",
  issn = "0946-011X",
  month = "April",
  number = "MPI-I-2004-2-001",
}