V. Krupski
发表
Vladimir Krupski,
V. Krupski,
2006,
Theor. Comput. Sci..
Vladimir Krupski,
V. Krupski,
2006,
J. Log. Comput..
Vladimir Krupski,
V. Krupski,
2001,
Ann. Pure Appl. Log..
Vladimir Krupski,
V. Krupski,
1997,
LFCS.
Xin Yu,
Christoph Kreitz,
Jason Hickey,
2003,
TPHOLs.