@Proceedings{	  Ahrendt:etal:DisprovingAndPDPAR:ENTCS:05,
  title		= {{S}elected {P}apers from the {W}orkshops on {D}isproving 
                   and the {S}econd {I}nternational {W}orkshop on {P}ragmatics
                   of {D}ecision {P}rocedures ({PDPAR} 2004)},
  booktitle	= {{S}elected {P}apers from the {W}orkshops on {D}isproving 
                   and the {S}econd {I}nternational {W}orkshop on {P}ragmatics
                   of {D}ecision {P}rocedures ({PDPAR} 2004)},
  editor	= {Wolfgang Ahrendt and Peter Baumgartner and Hans de
		  Nivelle and Silvio Ranise and Cesare Tinelli},
  year		= {2005},
  volume        = {125},
  number        = {3},
  pages         = {1-164},
  series        = {Electronic Notes in Theoretical Computer Science},
  publisher     = {Elsevier}
}