Seung S. Park

	1990
3		Wah-Bih Liaw, Frank M. Brown, Seung S. Park: Towards Common Sense Planning. ACM Conference on Computer Science 1990: 281-287
	1988
2		Frank M. Brown, Seung S. Park: SYMEVAL: A Theorem Prover Based on the Experimental Logic. CADE 1988: 756-757
1		Frank M. Brown, Seung S. Park, Jim Phelps: ZPLAN: An Automatic Reasoning System for Situations. CADE 1988: 758-759

Coauthor Index

1	Frank M. Brown	[1] [2] [3]
2	Wah-Bih Liaw	[3]
3	Jim Phelps	[1]