On the complexity of proving functions. - Andy N. C. Kang (AFIPS Spring Joint Computing Conference, 1972)

Effective Operators with No Strong Gaps. - Andy N. C. Kang (J. Comput. Syst. Sci., 1972)

Some Properties of a Centroid of a Free Tree. - Andy N. C. Kang; David A. Ault (Inf. Process. Lett., 1975)

On the Efficiency of Universal Machines. - Andy N. C. Kang (IEEE Trans. Computers, 1975)

Storage Reduction Through Minimal Spanning Trees and Spanning Forests. - Andy N. C. Kang; Richard C. T. Lee; Chin-Liang Chang; Shi-Kuo Chang (IEEE Trans. Computers, 1977)