| M93-1031 | induction of suc h patterns . The | Term Generator | was another tool that made use |
| W05-0403 | formal model for its use . 3.1 A | term generator | framework One obvious way to |
|
|
|
|
| M93-1031 | induction of suc h patterns . The | Term Generator | was another tool that made use |
| W05-0403 | formal model for its use . 3.1 A | term generator | framework One obvious way to |
