@inproceedings(Bauer16,
 author       = {Daniel Bauer and Owen Rambow},
 year         = {2016},
 title        = {Hyperedge Replacement and Nonprojective Dependency Structures},
 editor       = {David Chiang and Alexander Koller},
 booktitle    = {Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), June 29 - July 1, 2016, Heinrich Heine University, D{\"{u}}sseldorf, Germany},
 publisher    = {The Association for Computer Linguistics},
 pages        = {103--111},
 url          = {https://www.aclweb.org/anthology/W16-3311/},
)
@inproceedings(Drewes17,
 author       = {Frank Drewes and Anna Jonsson},
 year         = {2017},
 title        = {Contextual Hyperedge Replacement Grammars for Abstract Meaning Representations},
 editor       = {Marco Kuhlmann and Tatjana Scheffler},
 booktitle    = {Proceedings of the 13th International Workshop on Tree Adjoining Grammars and Related Formalisms, {TAG} 2017, Ume{\r a}, Sweden, September 4-6, 2017},
 publisher    = {Association for Computational Linguistics},
 pages        = {102--111},
 url          = {https://www.aclweb.org/anthology/W17-6211/},
)
@incollection(Drewes97,
 author       = {Frank Drewes and Hans{-}J{\"{o}}rg Kreowski and Annegret Habel},
 year         = {1997},
 title        = {Hyperedge Replacement Graph Grammars},
 editor       = {Grzegorz Rozenberg},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 publisher    = {World Scientific},
 pages        = {95--162},
 doi          = {10.1142/9789812384720\_0002},
)
@inproceedings(Gilroy17,
 author       = {Sorcha Gilroy and Adam Lopez and Sebastian Maneth},
 year         = {2017},
 title        = {Parsing Graphs with Regular Graph Grammars},
 editor       = {Nancy Ide and Aur{\'{e}}lie Herbelot and Llu{\'{\i}}s M{\`{a}}rquez},
 booktitle    = {Proceedings of the 6th Joint Conference on Lexical and Computational Semantics, *SEM @ACM 2017, Vancouver, Canada, August 3-4, 2017},
 publisher    = {Association for Computational Linguistics},
 pages        = {199--208},
 doi          = {10.18653/v1/S17-1024},
)
@book(Habel92,
 author       = {Annegret Habel},
 year         = {1992},
 title        = {Hyperedge Replacement: Grammars and Languages},
 series       = {Lecture Notes in Computer Science},
 volume       = {643},
 publisher    = {Springer},
 doi          = {10.1007/BFb0013875},
)
@inproceedings(Jones12,
 author       = {Bevan~K. Jones and Jacob Andreas and Daniel Bauer and Karl~Moritz Hermann and Kevin Knight},
 year         = {2012},
 title        = {Semantics-Based Machine Translation with Hyperedge Replacement Grammars},
 editor       = {Martin Kay and Christian Boitet},
 booktitle    = {{COLING} 2012, 24th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, 8-15 December 2012, Mumbai, India},
 publisher    = {Indian Institute of Technology Bombay},
 pages        = {1359--1376},
 url          = {https://www.aclweb.org/anthology/C12-1083/},
)
@article(Lambek58,
 author       = {Joachim Lambek},
 year         = {1958},
 title        = {The Mathematics of Sentence Structure},
 journal      = {The American Mathematical Monthly},
 volume       = {65},
 number       = {3},
 pages        = {154--170},
 doi          = {10.1080/00029890.1958.11989160},
 url          = {http://www.jstor.org/stable/2310058},
)
@inproceedings(Pentus93,
 author       = {Mati Pentus},
 year         = {1993},
 title        = {Lambek Grammars Are Context Free},
 booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science {(LICS} '93), Montreal, Canada, June 19-23, 1993},
 publisher    = {{IEEE} Computer Society},
 pages        = {429--433},
 doi          = {10.1109/LICS.1993.287565},
)
@article(Pentus95,
 author       = {Mati Pentus},
 year         = {1995},
 title        = {Models for the Lambek Calculus},
 journal      = {Ann. Pure Appl. Log.},
 volume       = {75},
 number       = {1-2},
 pages        = {179--213},
 doi          = {10.1016/0168-0072(94)00063-9},
)
@inproceedings(Pshenitsyn20_2,
 author       = {Tikhon Pshenitsyn},
 year         = {2020},
 title        = {Hypergraph Basic Categorial Grammars},
 editor       = {Fabio Gadducci and Timo Kehrer},
 booktitle    = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Online, June 25-26, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12150},
 publisher    = {Springer},
 pages        = {146--162},
 doi          = {10.1007/978-3-030-51372-6\_9},
)
@inproceedings(Pshenitsyn20_1,
 author       = {Tikhon Pshenitsyn},
 year         = {2020},
 title        = {Weak Greibach Normal Form for Hyperedge Replacement Grammars},
 editor       = {Berthold Hoffmann and Mark Minas},
 booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
 series       = {{EPTCS}},
 volume       = {330},
 pages        = {108--125},
 doi          = {10.4204/EPTCS.330.7},
)
@misc(Pshenitsyn21,
 author       = {Tikhon Pshenitsyn},
 year         = {2021},
 title        = {Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus},
 url          = {https://arxiv.org/abs/2103.01199},
)
@inproceedings(Pshenitsyn21_2,
 author       = {Tikhon Pshenitsyn},
 year         = {2021},
 title        = {Powerful and NP-Complete: Hypergraph Lambek Grammars},
 editor       = {Fabio Gadducci and Timo Kehrer},
 booktitle    = {Graph Transformation - 14th International Conference, {ICGT} 2021, Held as Part of {STAF} 2021, Virtual Event, June 24-25, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12741},
 publisher    = {Springer},
 pages        = {102--121},
 doi          = {10.1007/978-3-030-78946-6\_6},
)