On Heuer's Procedure for Verifying Strong Equivalence.

Jorge Fandinno, Vladimir Lifschitz

Browse the full JELIA paper archive.