共 53 条
[6]
Baader F, 2006, LECT NOTES ARTIF INT, V4130, P287
[8]
Barwise J., 2002, Language, Proof and Logic