The pushdown method to optimize chain logic programs
From MaRDI portal
Publication:4645206
DOI10.1007/3-540-60084-1_102zbMath1412.68031MaRDI QIDQ4645206
Domenico Saccà, Carlo Zaniolo, Sergio Greco
Publication date: 10 January 2019
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60084-1_102
Related Items
Cites Work