TY  - RPRT
TI  - Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting
AU  - Frédéric Blanqui
AU  - Guillaume Genestier
AU  - Olivier Hermant
PY  - 2019
DO  - 10.4230/lipics.fscd.2019.9
UR  - https://arxiv.org/abs/1906.11649
ID  - 1906.11649
ER  -