DMCA

Automatic Ordering of Predicates by Metarules (1996)

Cached

Download Links

by Tristan Cazenave
Citations:7 - 5 self