@Proceedings{Beckert05,
   editor        = {Bernhard Beckert},
   title         = {14th International Conference on Automated Reasoning with
                    Analytic Tableaux and Related Methods ({TABLEAUX} 2005)},
   year          = {2005}, 
   volume        = {3702},
   series        = {Lecture Notes in Computer Science},
   publisher     = {Springer}
}