共 48 条
[16]
Gingras I., 2003, THESIS STANFORD U, V64, P2439
[20]
Johnson-Laird P. N., 1991, Deduction