@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      = ""
}