Multiset Relations: a Tool for Proving Termination (2000)

Cached

Download Links

by J. -l. Ruiz-reina , J. -a. Alonso , M.-J. Hidalgo , F.-J. Martín
Venue:In ACL2 Workshop
Citations:9 - 4 self