Compact Normalisation Trace via Lazy Rewriting (2001)

Cached

Download Links

by Quang-Huy Nguyen , Loria Inria
Citations:6 - 0 self