On Specialization of Derivations in Axiomatic Equality Theories.

Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal

Browse the full LFCS paper archive.