Definability over Linear Constraints.

Michael Benedikt, H. Jerome Keisler

Browse the full CSL paper archive.