Complexity and expressive power of logic programming
Evgeny Dantsin‚ Thomas Eiter‚ Georg Gottlob and Andrei Voronkov
Details
| Journal |
ACM Comput. Surv. |
| Number |
3 |
| Pages |
374−425 |
| Volume |
33 |
| Year |
2001 |
Links
Related pages
|
People |