@misc{Wernhard2007, author = {Christoph Wernhard}, title = {Tableaux between proving, projection and compilation}, institution = {Fachbereich 4}, series = {Arbeitsberichte, FB Informatik}, number = {2007,18}, type = {periodicalpart}, pages = {31}, year = {2007}, }