The SuRE Programming Framework. - Bharat Jayaraman; Kyonghee Moon (AMAST, 1995)

Partial Order Programming (Revisited). - Bharat Jayaraman; Mauricio Osorio 001; Kyonghee Moon (AMAST, 1995)

Subset Logic Programs and Their Implementation. - Bharat Jayaraman; Kyonghee Moon (J. Log. Program., 2000)