A correct rule-based geometric constraint solver

Robert Joan-Arinyo, Antoni Soto-Riera. A correct rule-based geometric constraint solver. Computers & Graphics, 21(5):599-609, 1997. [doi]

Abstract

Abstract is missing.