Set Constraints are the Monadic Class (1992)

Cached

Download Links

by Leo Bachmair , Harald Ganzinger , Uwe Waldmann
Citations:69 - 0 self