Volker Sorge Andreas Meier Roy L. McCasland Simon Colton Automatic Construction and Verification of Isotopy Invariants. 221-243 2008 40 J. Autom. Reasoning 2-3 http://dx.doi.org/10.1007/s10817-007-9093-y db/journals/jar/jar40.html#SorgeMMC08