4.1. Differences from the 2000 report

This section summarises the main differences with the SICS reportΒ [Beldiceanu00] as well as of the corresponding articleΒ [BeldiceanuR00]. The main differences are listed below: