Editor's Note

Rocco De Nicola. Editor's Note. Journal of Logic and Algebraic Programming, 83(2):83, 2014. [doi]

Abstract

Abstract is missing.