Document Layout by Executable Natural Semantics Speciications

The Centaur system is used as a formal tool to model and implement logical and physical document structure, logical structure editing, layout processing, format conversion, and document queries, for a sample class of documents: scientiic articles including equations and gures.