Autosubst 2: Reasoning with de Bruijn Terms and Substitutions

POPL 2020