@conference{KottlerKaufmannSinz2008,
author = "Stephan Kottler and Michael Kaufmann and Carsten Sinz",
booktitle = "Theory and Applications of Satisfiability Testing",
keywords = "SAT, Backdoors, Horn",
title = "{C}omputation of {R}enameable {H}orn {B}ackdoors",
url = "http://www.springerlink.com/content/l7234h5900qnt178",
year = "2008",
}