Modelling knowledge for automated generalisation of categorical maps—a constraint based approach · Study