Other CAD implementations in Maple for example in Section 4 of the paper