SYMEVAL: A Theorem Prover Based on the Experimental Logic. - Frank M. Brown; Seung S. Park (CADE, 1988)

ZPLAN: An Automatic Reasoning System for Situations. - Frank M. Brown; Seung S. Park; Jim Phelps (CADE, 1988)

Towards Common Sense Planning. - Wah-Bih Liaw; Frank M. Brown; Seung S. Park (ACM Conference on Computer Science, 1990)