Research report Japan Advanced Institute of Science and Technology IS-RR-98-0026 (19981026)

On proving Ac-termination by AC-dependency pairs

1-13