Orders and Abstract Reduction Relations

• 1 January 1993
• book chapter
• Published by Springer Nature
• p. 141-185
• https://doi.org/10.1007/978-1-4612-0913-3_5

Abstract