@article(eqdd,

title = "Completeness of Category-based Equational Deduction",

author = "R\u{a}zvan Diaconescu",

journal = "Mathematical Structures in Computer Science",

volume = 5, number = 1,

pages = "9--41",

year = 1995)