A formalization of geometric constraint systems and their decomposition
scientific article; zbMATH DE number 5703855