@inproceedings{roux-2011-refinement,
  doi = {10.4230/LIPICS.RTA.2011.299},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2011.299},
  author = {Roux, Cody},
  keywords = {Dependency Pairs, Higher-Order, Refinement Types},
  language = {en},
  title = {Refinement Types as Higher-Order Dependency Pairs},
  volume = {10},
  pages = {299-312},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2011},
  copyright = {Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license},
  booktitle = {22nd International Conference on Rewriting Techniques and Applications (RTA'11)}
}