Category-based modularization for equational logic programming (1996)

by Razvan Diaconescu
Venue:Acta Informatica