Added link to source in polygon_abstraction.py