author : Mantis H. M. Cheng

Short works

• Complete sets of frontiers in logic-based program transformation. 1989. (In Meta-Programming in Logic Programming )