Roderick Bloem

First name

Roderick

Last name

Bloem

Bloem, Roderick, Sharad Malik, Matthias Schlaipfer, and Georg Weissenbacher. 2014. “Reduction of Resolution Refutations and Interpolants via Subsumption.”. In Haifa Verification Conference, 188–203.

Reference Link