@article{2009, title={Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems}, author={Keiichirou KUSAKARI and Yasuo ISOGAI and Masahiko SAKAI and Frédéric BLANQUI}, journal={IEICE Transactions on Information and Systems}, volume={E92.D}, number={10}, pages={2007-2015}, year={2009}, doi={10.1587/transinf.E92.D.2007} }