2004
Experiments with UNA for solving linear constraints in real variables.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004