| Original language | English |
|---|---|
| Title of host publication | Structural Complexity and Recursion-theoretic methods in Logic-Programming |
| Pages | 165 |
| Publication status | Published - 1992 |
On Computability by Logic Programs
Andrei Voronkov
Research output: Chapter in Book/Conference proceeding › Conference contribution