共 6 条
[2]
BUECHLER S, IN PRESS CLASSIFICAT
[3]
BUECHLER S, 1987, LOGIC C 85 N HOLLAND, P53
[4]
HRUSHOVSKI E, 1986, THESIS U CALIFORNIA
[5]
LOVEYS J, 1986, THESIS S FRASER U BU
[6]
SAFFE J, 1982, VAUGHTS CONJECTURE S