Kyonghee Moon

Partial Order Programming (Revisited)

Mauricio Osorio, Bharat Jayaraman, Kyonghee Moon, 1995, AMAST.

Subset Logic Programs and Their Implementation

Bharat Jayaraman, Kyonghee Moon, B. Jayaraman, 2000, J. Log. Program..

Partial Order Logic Programming

Bharat Jayaraman, Kyonghee Moon, Mauricio Osorio, 1993 .

The SuRE Programming Framework

Bharat Jayaraman, Kyonghee Moon, 1995, AMAST.

Implementation of subset logic languages

Kyonghee Moon, 1997 .