Deleting Repeated Goals in the Problem Reduction Format (Q3922204)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deleting Repeated Goals in the Problem Reduction Format |
scientific article |
Statements
Deleting Repeated Goals in the Problem Reduction Format (English)
0 references
1981
0 references
goal trees
0 references
identical descendent elimination
0 references
resolution theory
0 references
