Complexity and Expressive Power of Logic Programming

Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov. Complexity and Expressive Power of Logic Programming. In IEEE Conference on Computational Complexity. pages 82-101, 1997. [doi]

Abstract

Abstract is missing.