@文章{DBLP:journeys/tcs/Statman89，author={Richard Statman}，title={关于组合子方程的解集}，日志={Theor.Comput.Sci.}，体积={66}，数字={1}，页数={99--104}，年份={1989年}，url={https://doi.org/10.1016/0304-3975(89)90148-5},doi={10.1016/0304-3975（89）90148-5}，timestamp={2021年2月17日星期三21:57:19+0100}，biburl={https://dblp.org/rec/journals/tcs/Statman89.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}