@正在进行{DBLP:conf/icalp/StatonU15，title=“效果代数、预升、非线性和上下文”，author=“Sam Staton和Sander Uijlen”，year=“2015”，booktitle=“自动机、语言和程序设计-第42届国际学术讨论会，｛ICALP｝2015，日本京都，2015年7月6日至10日，会议记录，第｛II｝部分”，editor=“Magn｛\'｛u｝s M.Halld｛\'｛o｝rsson和岩间和夫、小林直树和Bettina Speckmann”，pages=“401--413”，publisher=“Springer”，series=“计算机科学课堂讲稿”，url=“https://doi.org/10.1007/978-3-662-47666-6\_32",volume=“9135”，doi=“10.1007/978-3-662-47666-6\_32”，}