A Functional Logic Language Based on Canonical Unification. - D. W. Shin; Jong H. Nang; Sangki Han; Seungryul Maeng (SLP, 1987)

The Semantics of a Functional Logic Language with Input Mode. - D. W. Shin; Jong H. Nang; Seungryul Maeng; Jung Wan Cho (FGCS, 1988)

Parallel simulation of multilayered neural networks on distributed-memory multiprocessors. - Hyunsoo Yoon; Jong H. Nang; Seung Ryoul Maeng (Microprocessing and Microprogramming, 1990)

A Parallel Execution of Functional Logic Language with Lazy Evaluation. - Jong H. Nang; D. W. Shin; Seungryul Maeng; Jung Wan Cho (FGCS, 1992)

An efficient mapping of Boltzmann machine computations onto distributed-memory multiprocessors. - D. H. Oh; Jong H. Nang; Hyunsoo Yoon; Seung Ryoul Maeng (Microprocess. Microprogramming, 1992)

A Typed Functional Extension of Logic Programming. - D. W. Shin; Jong H. Nang; Seungryul Maeng (New Gener. Comput., 1992)