Pushing the Frontiers of Combining Rewrite Systems Farther Outwards (1998)

by Jürgen Giesl , Enno Ohlebusch
Venue:In Proceedings of the Second International Workshop on Frontiers of Combining Systems, FroCos '98, Applied Logic Series
Citations:11 - 3 self