@Article{LMG94, Author = "Letz, R. and Mayr, K. and Goller, C.", Year = "1994", Title = "{Controlled Integration of the Cut Rule into Connection Tableau Calculi}", Journal = "Journal of Automated Reasoning", Volume = "13", Number = "3", Pages = "297-337", Comment = "TPTPCite,TPTPRef,TPTPData" }