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