Complexity and expressive power of logic programming

Open Webpage

Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov

Published: 2001, Last Modified: 12 May 2025ACM Comput. Surv. 2001EveryoneRevisionsBibTeXCC BY-SA 4.0