Conjunctive partial deduction: foundations, control, algorithms, and experiments
Research output: Contribution to journal › Journal article › Research › peer-review
| Original language | English |
|---|---|
| Journal | The journal of logic programming |
| Volume | 41 |
| Issue number | 2&3 |
| Pages (from-to) | 231-277 |
| ISSN | 0743-1066 |
| DOIs | |
| Publication status | Published - 1999 |
ID: 177260014