| Original language | English |
|---|---|
| Journal | International Journal of Foundation of Computer Science |
| Volume | 1 |
| Issue number | 3 |
| Publication status | Published - 1990 |
Nested Guarded horn Clauses : A Language Provided with a Complete Set of Unfolding Rules
Research output: Contribution to journal › Article