DMCA

Ordered Chainings for Total Orderings (1995)

by Leo Bachmair , Harald Ganzinger
Citations:25 - 7 self