Verification of Solutions for Almost Linear Complementarity Problems.

Published in: Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)