@TechReport{ beckert:12:2005,
author = "Bernhard Beckert",
title = "{TABLEAUX 2005: Position Papers and Tutorial
Descriptions}",
institution = "{Universit{\"a}t Koblenz-Landau}",
year = 2005,
volume = "Fachberichte Informatik",
number = "12--2005",
address = "Universit{\"a}t Koblenz-Landau, Institut f{\"u}r
Informatik, Universit{\"a}tsstr. 1, D-56070 Koblenz",
url = "http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-12-2005.pdf"
,
issn = "1860-4471"
}