@Article{MP68,
    Author       = "Meredith, C.A. and Prior, A.N.",
    Year         = "1968",
    Title        = "{Equational Logic}",
    Journal      = "Notre Dame Journal of Formal Logic",
    Volume       = "9",
    Pages        = "212-226",
    Comment      = "TPTPRef"
}