%0 Journal Article
%T Semantics for first-order superposition logic
%A Tzouvaras,, Athanassios
%J Logic Journal of the IGPL
%V 27
%N 4
%@ 1367-0751
%D 2019-07-25
%I Oxford University Press
%~ DeepDyve