Tat-hung Chan Deciding Freeness for Program Schemes with a Single Unary Function. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1981, v:13, n:3, pp:98-102 [Journal]
Tat-hung Chan The Boundedness Problem for Three-Dimensional Vector Addition Systems with States. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1988, v:26, n:6, pp:287-289 [Journal]
Tat-hung Chan Pushdown Automata with Reversal-Bounded Counters. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1988, v:37, n:3, pp:269-291 [Journal]