@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)