Automatic Layout Based on Formal Semantics.

Thomas Kamps, Klaus Reichenberger

Browse the full AVI paper archive.