@收款{zbMATH01500557，作者={Henriksen，Jesper Gulmann}，标题={{TLC}（扩展抽象）}的一个表达扩展，BookTitle={计算科学的进展-亚洲'99。第五届亚洲计算科学会议，泰国普吉岛，1998年12月8-10日。诉讼程序}，国际标准图书编号={3-540-66856-X}，页码={126--138}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={03B44.68Q60}，zbMATH={1500557}，Zbl={0954.03500}}