Live equals fast in iterated models (0)

by Zohir Bouzid, Eli Gafni, Petr Kuznetsov
Venue:CoRR