@inproceedings{4cc1275c4f89445a99c1f8583fc9a981,
title = "Higher Order Dependency Pairs for Algebraic Functional Systems",
author = "C.L.M. Kop and {van Raamsdonk}, F.",
year = "2011",
doi = "10.4230/LIPIcs.RTA.2011.203",
language = "English",
isbn = "18688969",
pages = "203--218",
editor = "M. Schmidt-Schau{\ss}",
booktitle = "Proc. 22th Conference on Rewriting Techniques and Applications",
publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
note = "Rewriting Techniques and Applications ; Conference date: 01-01-2011 Through 01-01-2011",
}