Termination Detection in Logic Programs using Argument Sizes. - Kirack Sohn; Allen Van Gelder (PODS, 1991)

Adaptive-predictive game-playing programs. - Robert Levinson; Brian Beach; Richard Snyder; Tal Dayan; Kirack Sohn (J. Exp. Theor. Artif. Intell., 1992)

Relational Groundness Analysis for Logic Programs. - Kirack Sohn (ILPS, 1993)

Constraints among Argument Sizes in Logic Programs. - Kirack Sohn (PODS, 1994)

A New Gene Selection Method Based on PCA for Molecular Classification. - Kirack Sohn; Soo Hong Lim (FSKD (4), 2007)