Date of Original Version
Journal of Automated Reasoning 38 (4), May 2007: 353-373.
The original publication is available at www.springerlink.com.
Abstract or Description
Let F be the set of functions from an infinite set, S, to an ordered ring, R.