Algorithmic aspects of ordered structures - Gustedt, Jens (1992)