@article{oai:kanazawa-u.repo.nii.ac.jp:00009960,
 author = {Nakamura, Masaki and Ogata, Kazuhiro and Futatsugi, Kokichi},
 issue = {7},
 journal = {IEICE Transactions on Information and Systems},
 month = {Jan},
 note = {We propose a user-defined on-demand matching strategy, called O-matching, in which users can control the order of matching arguments of each operation symbol. In ordinary matching schemes it is not important to set the order of matching, however, in on-demand matching schemes, it is very important since an input term may be changed while doing the on-demand matching process. O-matching is suitable to combine with the E-strategy, which is a user-defined reduction strategy in which users can control the order of reducing arguments. We show a sufficient condition under which the E-strategy with O-matching is correct for head normal forms, that is, any reduced term is a head normal form. Copyright © 2009 The Institute of Electronics, Information and Communication Engineers., 金沢大学理工研究域電子情報学系},
 pages = {1401--1411},
 title = {User-defined on-demand matching},
 volume = {E92-D},
 year = {2009}
}