共 56 条
[42]
Ross R.G., 2003, BUSINESS RULES MANIF
[44]
SCHUMANN JM, 2001, AUTOMATED THEOREM PR, P228
[45]
Shaw M., 2000, Proceedings of the Conference on the Future of Software Engineering, P371
[47]
Sowa J.F., 2000, KNOWLEDGE REPRESENTA, P594
[48]
STEIMANN F, 2006, ACM QUEUE, V3, P45
[49]
STUMPTNER M, 2004, P 1 AS PAC C CONC MO, P15
[50]
TEICHROEW D, 1971, DATAMATION, V17, P25