%0 Journal Article
%T Minimizing disjunctive normal forms of pure first-order logic
%A Lampert, Timm
%J Logic Journal of the IGPL
%V 25
%N 3
%P 325-347
%@ 1367-0751
%D 2017-06-01
%I Oxford University Press
%~ DeepDyve