Equational Abstractions.

Jos Meseguer, Miguel Palomino, Narciso Mart-Oliet

Browse the full CADE paper archive.