@MISC{PRELAMB.MIZ,
  AUTHOR = {Zielonka, Wojciech},
  TITLE = {Preliminaries to the {L}ambek Calculus},
  DAY = {13},
  MONTH = {February},
  YEAR = {1991},
  ADDRESS1 = {Adam Mickiewicz University\\Pozna\'n},
  SUMMARY = {  Some preliminary facts concerning completeness and decidability problems for
    the Lambek Calculus \cite{LAMBEK:1}
    are proved as well as some theses and derived rules of the calculus itself.}}


@ARTICLE{LAMBEK:1,
       AUTHOR = {Lambek, Joachim},
        TITLE = {The Mathematics of Sentence Structure},
      JOURNAL = {American Mathetical Monthly},
         YEAR = {1958},
       NUMBER = {65},
        PAGES = {154--170}}