CGAL 5.2.3 - Algebraic Foundations
Is Model Relationships