Proving operational termination of membership equational programs (0)

by F Durán, S Lucas, J Meseguer, C Marché, X Urbain
Venue:Higher-Order and Symbolic Computation