Syntactic Elements of Declarative Programming: Symbolic Linear Equations.

Andrés Bujosa Regino Criado Syntactic Elements of Declarative Programming: Symbolic Linear Equations. 39-48 1996 25 Fundam. Inform. 1 db/journals/fuin/fuin25.html#BujosaC96