Examples in Electronic Colloquium on Spatial and Temporal Reasoning (ECSTER)
This requires an underlying database representation, from which the HTML pages can be generated. Generation can be done on demand (query mode) or on update (derivation mode). Our colloquium application uses generation on update.