CGAL 5.4.4 - Algebraic Foundations
Is Model Relationships