%0 Journal Article %T Editorial %A Conradie, Willem %A Palmigiano, Alessandra %J Journal of Logic and Computation %V 27 %N 3 %P 607-608 %@ 0955-792X %D 2017-04-01 %I Oxford University Press %~ DeepDyve