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

 CiNii Books

On proving Ac-termination by AC-dependency pairs  1-13