%0 Journal Article %T A logic of efficient and optimal designs %A Primiero,, Giuseppe %J Journal of Logic and Computation %V 29 %N 6 %@ 0955-792X %D 2019-09-04 %I Oxford University Press %~ DeepDyve