Relies on facts that children of origin are always processed and that all nodes mentioned in rule bodies are required implicitly. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Relies on facts that children of origin are always processed and that all nodes mentioned in rule bodies are required implicitly. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||