Leler, W. "Specification and Generation of Constraint Satisfaction Systems Using Augmented Term Rewriting" PhD UNC at Chapel Hill 1986
(1986)
Languages mentioned
Bertrand
{1985}