%% lmcs:842
%% https://lmcs.episciences.org/842
%% 
@article{lmcs:842,
  TITLE = {{A Focused Sequent Calculus Framework for Proof Search in Pure Type
  Systems}},
  AUTHOR = {Stéphane Jean Eric Lengrand and Roy Dyckhoff and James McKinna},
  URL = {https://lmcs.episciences.org/842},
  DOI = {10.2168/LMCS-7(1:6)2011},
  JOURNAL = {{Logical Methods in Computer Science}},
  VOLUME = {{Volume 7, Issue 1}},
  YEAR = {2011},
  MONTH = Mar,
  KEYWORDS = {Computer Science - Logic in Computer Science ; F.4.1},
}