迈克尔·德克蒂亚 亚历山大·贾。迪科夫斯基 马尔斯·瓦利耶夫 应用时序逻辑分析协同逻辑程序的行为。 228至234 1999 conf/ershov/1999年 埃尔绍夫纪念大会 https://doi.org/10.1007/3-540-46562-6_20 数据库/conf/ershov/ershov1999.html#DekhtyarDV99