Publication in BibTeX Format

@TECHREPORT{AICPub652:1983,
  AUTHOR={Pereira, Fernando C. N. and Warren, David H. D.},
  TITLE={Parsing As Deduction},
  ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Jun},
  NUMBER={295},
  YEAR={1983},
  KEYWORDS={Deduction!Parsing as, Natural Language!Parsing},
  ABSTRACT={By exploring the relationship between parsing and deduction, a new and
     more general view of chart parsing is obtained, which encompasses parsing for
     grammar formalisms based on unification, and is the basis of the Earley Deduction
     proof procedure for definite clauses. The efficiency of this approach for an
     interesting class of grammars is discussed.}
}