Finite Constants: Characterizations of a New Decidable Set of Constants.

Bernhard Steffen, Jens Knoop

Browse the full MFCS paper archive.