@TechReport{GSSEF12,
  author      = "J\"urgen Giesl, Thomas Str\"oder, Peter Schneider-Kamp, 
                 Fabian Emmes, and Carsten Fuhs",
  title       = "Symbolic Evaluation Graphs and Term Rewriting ---
                 A General Methodology for Analyzing Logic Programs",
  institution =	"RWTH Aachen",
  keywords    = "logic programs, rewriting, termination, complexity, determinacy",
  year        = "2012",
  number      = "AIB-2012-12",
  month       = jun,
  url         = "http://aib.informatik.rwth-aachen.de/2012/2012-12.ps.gz"
}