@TechReport{DissertationFuhs,
  author =      "Carsten Fuhs",
  title =       "SAT Encodings: From Constraint-Based Termination Analysis to Circuit Synthesis",
  institution =	"RWTH Aachen",
  number =      "AIB-2011-17",
  year =        "2012",
  month =       sep,
  url =         "http://aib.informatik.rwth-aachen.de/2011/2011-17.pdf",
}