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..