Proving termination of membership equational programs.

Francisco Durn, Salvador Lucas, Jos Meseguer, Claude March, Xavier Urbain

Browse the full PEPM paper archive.