Editorial

Eerke A. Boiten, John Derrick, Steve Reeves. Editorial. Formal Asp. Comput., 26(2):195, 2014. [doi]

Abstract

Abstract is missing.