@inproceedings{Kazakov:04:ResGFTG:DP,
  title = "A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.",
  author = "Yevgeny Kazakov",
  year = "2004",
  booktitle = "IJCAR Doctoral Programme",
  series = "CEUR Workshop Proceedings",
  url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/06-kazakov.pdf",
  volume = "106",
}