Research report 北陸先端科学技術大学院大学 IS-RR-98-0026 (19981026)

 CiNii Books

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