@TechReport{LOPSTR2011,
  author =	 "T.\ Str\"{o}der and F.\ Emmes and P.\ Schneider-Kamp and J.\  Giesl and C.\ Fuhs",
  title =	 "A Linear Operational Semantics for Termination and Complexity Analysis of \textsf{ISO Prolog}",
  institution =	 "RWTH Aachen",
  year =	 "2011",
  number =	 "AIB-2011-08",
  month =	 jul,
  keywords = "Prolog, Semantics, Complexity, Termination, Logic Programming",
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-08.pdf",
}