Verification of EB

Dimitris Vekris, Frdric Lang, Catalin Dima, Radu Mateescu

Browse the full IFM paper archive.