ELAN from a rewriting logic point of view
scientific article; zbMATH DE number 1780619
scientific article