A New Proposal Of Quasi-Solved Form For Equality Constraint Solving

Javier Álvez, Paqui Lucio. A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. Electronic Notes in Theoretical Computer Science, 206:23-40, 2008. [doi]

Abstract

Abstract is missing.