Body-and-cad geometric constraint systems
scientific article; zbMATH DE number 6080926
scientific article