Kirack Sohn

	1994
4		Kirack Sohn: Constraints among Argument Sizes in Logic Programs. PODS 1994: 68-74
	1993
3		Kirack Sohn: Relational Groundness Analysis for Logic Programs. ILPS 1993: 635
	1992
2		Robert Levinson, Brian Beach, Richard Snyder, Tal Dayan, Kirack Sohn: Adaptive-predictive game-playing programs. J. Exp. Theor. Artif. Intell. 4(4): 315-337 (1992)
	1991
1		Kirack Sohn, Allen Van Gelder: Termination Detection in Logic Programs using Argument Sizes. PODS 1991: 216-226

Coauthor Index

1	Brian Beach	[2]
2	Tal Dayan	[2]
3	Allen Van Gelder	[1]
4	Robert Levinson	[2]
5	Richard Snyder	[2]

Colors in the list of coauthors