@InProceedings{van-minnen:1990:ACL,
  author    = {van der Linden, Erik-Jan  and  Minnen, Guido},
  title     = {ALGORITHMS FOR GENERATION IN LAMBEK THEOREM PROVING},
  booktitle = {Proceedings of the 28th Annual Meeting of the Association for Computational Linguistics},
  month     = {June},
  year      = {1990},
  address   = {Pittsburgh, Pennsylvania, USA},
  publisher = {Association for Computational Linguistics},
  pages     = {220--226},
  url       = {http://www.aclweb.org/anthology/P90-1028},
  doi       = {10.3115/981823.981851}
}