<p>全序时态模块模式的TO_TBCNF分解问题研究</p>

全序时态模块模式的TO_TBCNF分解问题研究

万静,郝忠孝

Research on TO_TBCNF Decomposition with Total Order Temporal Module Scheme

,

计算机工程与应用 . 2006, (28): 5 .