@Article{cl,

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

title = {Category-based Constraint Logic},

journal = {Mathematical Structures in Computer Science},

year = 2000,

volume = 10,

number = 3,

pages = {373--407}

}