When does abstraction help?

Guy Avni, Orna Kupferman. When does abstraction help?. Inf. Process. Lett., 113(22-24):901-905, 2013. [doi]

Abstract

Abstract is missing.