@InProceedings{Ott11, Author = "Otten, J.", Year = "2011", Title = "{A Non-clausal Connection Calculus}", Editor = "Br{\"u}nnler, K. and Metcalfe, G.", BookTitle = "{Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods}", Place = "Bern, Switzerland", Series = "Lecture Notes in Artificial Intelligence", Number = "6793", Pages = "226-241", Publisher = "Springer-Verlag", Comment = "" }