Set Constraints are the Monadic Class (1992)

Cached

Download Links

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