Algorithm 17. Partial Normalisation of a Table of Event Relations
This applet ensures that the table is consistent (using Algorithm 20), because
this is required by the partial normalisation algorithm.
Source:
Links to Alan Marsden's software page and Alan
Marsden's home page