@第{zbMATH07731931条，作者={Fowler、Simon和Kokke、Wen和Dardha、Ornela和Lindley、Sam和Morris、J.Garrett}，标题={顺利分离会话}，FJournal={计算机科学中的逻辑方法}，Journal＝｛Log.Methods Comput.Sci.｝，ISSN={1860-5974}，体积={19}，数字={3}，页码={52}，注={Id/No 3}，年份={2023}，语言={英语}，DOI={10.46298/lmcs-19（3:3）2023}，关键词={03B70,68-XX}，zbMATH={7731931}}