| |
| 1993 | ||
|---|---|---|
| 2 | Young K. Nam, Lawrence J. Henschen: A Controlling Scheme for Prolog Through Count Terms. Comput. Lang. 19(4): 235-245 (1993) | |
| 1991 | ||
| 1 | Young K. Nam, Lawrence J. Henschen: Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 211-230 | |
| 1 | Lawrence J. Henschen | [1] [2] |