@Article{Pas08, Author = "Paskevich, A.", Year = "2008", Title = "{Connection Tableaux with Lazy Paramodulation}", Journal = "Journal of Automated Reasoning", Volume = "40", Number = "2-3", Pages = "179-194", Comment = "" }