| |
| 1988 | ||
|---|---|---|
| 3 | Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu: Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE 1988: 334-343 | |
| 1985 | ||
| 2 | Satoru Tomura: TDProlog: An Extended Prolog with Term Description. LP 1985: 180-191 | |
| 1984 | ||
| 1 | Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda: What is a Variable in Prolog? FGCS 1984: 327-332 | |
| 1 | Kokichi Futatsugi | [3] |
| 2 | Ataru T. Nakagawa | [3] |
| 3 | Hideyuki Nakashima | [1] |
| 4 | T. Shimizu | [3] |
| 5 | Kazunori Ueda | [1] |