Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming.

Philippe Refalo Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming. 72-85 1998 Implementation Technology for Programming Languages based on Logic db/conf/iclp/iclp98-w1.html#Refalo98