%% lmcs:1046
%% https://lmcs.episciences.org/1046
%% 
@article{lmcs:1046,
  TITLE = {{A Synthesis of the Procedural and Declarative Styles of Interactive
  Theorem Proving}},
  AUTHOR = {Freek Wiedijk},
  URL = {https://lmcs.episciences.org/1046},
  DOI = {10.2168/LMCS-8(1:30)2012},
  JOURNAL = {{Logical Methods in Computer Science}},
  VOLUME = {{Volume 8, Issue 1}},
  YEAR = {2012},
  MONTH = Mar,
  KEYWORDS = {Computer Science - Logic in Computer Science ; F.4.1, I.2.3, I.2.4},
}