Preserving Strong Equivalence while Forgetting.

Matthias Knorr, Jos Jlio Alferes

Browse the full JELIA paper archive.