Indefinite and GCWA Inference in Indefinite Deductive Databases. - Lawrence J. Henschen; Hyung-Sik Park (AAAI, 1986)

Compiling the GCWA in Indefinite Deductive Databases. - Lawrence J. Henschen; Hyung-Sik Park (Foundations of Deductive Databases and Logic Programming., 1988)

ObjTrans: an intelligent tool for knowledge-object transformation. - Hyung-Sik Park; Yuh-Tsong Su (ICTAI, 1991)