Jeffrey X. Su
发表
David L. Dill,
Clark W. Barrett,
Jeffrey X. Su,
1996,
FMCAD.
David L. Dill,
Jens Ulrik Skakkebæk,
Jeffrey X. Su,
1998,
FMCAD.