@inproceedings{KazNiv:04:ResGFTG,
  title = "A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.",
  author = "Yevgeny Kazakov and Hans de Nivelle",
  year = "2004",
  booktitle = "IJCAR",
  pages = "122-136",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/content/h3eh98tm043qtm1d/?p=b00e744c6c994444aca26ff1110b45dc&pi=6",
  volume = "3097",
}