Takahito Aoto, Toshiyuki Yamada. Argument Filterings and Usable Rules for Simply Typed Dependency Pairs. In Silvio Ghilardi, Roberto Sebastiani, editors, Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Volume 5749 of Lecture Notes in Computer Science, pages 117-132, Springer, 2009. [doi]
Abstract is missing.