迈克尔·德克蒂亚 亚历山大·贾。迪科夫斯基 动态演绎数据库的稳态行为。 420-432 1996 conf/ershov/1996年 埃尔绍夫纪念大会 db/conf/ershov/ershov 1996.html#DekhtyarD96 https://doi.org/10.1007/3-540-62064-8_35