%0 Journal Article
%T Proof search in a context-sensitive logic for molecular biology
%A Filippo, Sestini,
%A Silvia, Crafa,
%J Journal of Logic and Computation
%V 28
%N 7
%@ 0955-792X
%D 2018-10-23
%I Oxford University Press
%~ DeepDyve