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