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)

A logic programming approach to hybrid knowledge representation. - Sangki Han; D. W. Shin; Y. Kim; Y. P. Jun; Seung Ryoul Maeng; Jung Wan Cho (Appl. Artif. Intell., 1988)

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

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