Refinements

Title:
Authors:	José A. Alonso, María J. Hidalgo and Francisco J. Martín.
Date:
Description:
Code:	You can find the PVS theories in ...
Documentation:	Proving termination with multiset orderings in PVS: theory, methodology and applications