%% lmcs:970
%% https://lmcs.episciences.org/970
%% 
@article{lmcs:970,
  TITLE = {{Automated Synthesis of Tableau Calculi}},
  AUTHOR = {Renate A. Schmidt and Dmitry Tishkovsky},
  URL = {https://lmcs.episciences.org/970},
  DOI = {10.2168/LMCS-7(2:6)2011},
  JOURNAL = {{Logical Methods in Computer Science}},
  VOLUME = {{Volume 7, Issue 2}},
  YEAR = {2011},
  MONTH = May,
  KEYWORDS = {Computer Science - Logic in Computer Science ; Computer Science - Symbolic Computation ; cs.SC},
}