@InProceedings{l12-p387-398,
  AUTHOR	= {Martin F\"urer},
  TITLE		= {Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width},
  BOOKTITLE	= {Proc.~of the 10th Latin American Symposium on Theoretical Informatics (LATIN'12)},
  PAGES		= {387--398},
  YEAR		= 2012,
  ADDRESS	= {Arequipa, Peru},
  KEYWORDS	= {}}