The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors.

Published in: J. Comput. Syst. Sci. (2018)

Keyphrases