@收款{zbMATH06515897，作者={Veanes，Margus}，标题={带常规前瞻和回滚的符号字符串转换}，BookTitle={系统信息学的观点。第九届国际Ershov信息学会议，PSI 2014，俄罗斯圣彼得堡，2014年6月24-27日。修订选定论文}，国际标准图书编号={978-3-662-46822-7；978-3-562-46823-4}，页码={335--350}，年份={2015年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-46823-4_27}，关键词={68N30,68Q45}，zbMATH={6515897}，Zbl={1434.68117}}