共 69 条
[2]
ALVAREZ L., 1993, FORMALIZATION COMPUT, P200
[4]
Andrews B, 2003, J AM MATH SOC, V16, P443
[7]
[Anonymous], 1992, Bull. Amer. Math. Soc.
[8]
[Anonymous], 2000, Interfaces Free Bound., DOI [DOI 10.4171/IFB/15, 10.4171/IFB/15]