Exploiting parallelism in the ME calculus.

Tianyi Liang, Cesare Tinelli

Browse the full CADE paper archive.