Finite constants: Characterizations of a new decidable set of constants (1991)

by B Steffen, J Knoop
Venue:Theoretical Computer Science