共 14 条
[11]
VASSILIADIS V, 2009, P 6 INT WORKSH OWL E
[13]
Wielemaker J., 2008, THEORY PRACTICE LOGI, V8
[14]
Worboys M.F., 2004, LECT NOTES COMPUTER, V3234