DMCA

Rewrite Techniques for Transitive Relations (1994)

Cached

Download Links

by Leo Bachmair , Harald Ganzinger
Venue:IN PROC., 9TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:38 - 6 self