Termination is not Modular for Confluent Variable-Preserving Term Rewriting Systems (1993)

Cached

Download Links

by Enno Ohlebusch
Citations:5 - 2 self