The generalized counting method for recursive logic queries
From MaRDI portal
Publication:1111779
DOI10.1016/0304-3975(86)90015-0zbMath0658.68118OpenAlexW2163810897WikidataQ127065482 ScholiaQ127065482MaRDI QIDQ1111779
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(86)90015-0
Related Items
The pushdown method to optimize chain logic programs, Testing logic programs for local stratification, Inherent complexity of recursive queries, Well-founded semantics and stratification for ordered logic programs
Cites Work