An Achilles' Heel of Term-Resolution.

Mikols Janota, Joo Marques-Silva

Browse the full EPIA paper archive.