@Book{MP96,
    Author       = "McCune, W.W. and Padmanabhan, R.",
    Year         = "1996",
    Title        = "{Automated Deduction in Equational Logic and Cubic Curves}",
    Series       = "Lecture Notes in Artificial Intelligence",
    Volume       = "1095",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}