S. Salbany
发表
Todor Todorov,
S. Salbany,
T. Todorov,
2000,
Journal of Symbolic Logic.
Keith A. Hardie,
Peter J. Witbooi,
J. J. C. Vermeulen,
2003,
Theor. Comput. Sci..