@article(modl,

title = "Category-based Modularisation for Equational Logic Programming",

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

journal = "Acta Informatica",

volume = 33, number = 5,

pages = "477--510",

year = 1996)