Charles Hoot
发表
Charles Hoot,
1994,
CTRS.
Nachum Dershowitz,
Charles Hoot,
N. Dershowitz,
1995,
Theor. Comput. Sci..
Nachum Dershowitz,
Charles Hoot,
N. Dershowitz,
1993,
RTA.
Charles Hoot,
1992,
CTRS.