@article{CHARALAMBIDIS_2019,
doi = {10.1017/s1471068419000279},
url = {https://doi.org/10.1017%2Fs1471068419000279},
year = {2019},
month = {sep},
publisher = {Cambridge University Press ({CUP})},
volume = {19},
number = {5-6},
pages = {925--940},
author = {ANGELOS CHARALAMBIDIS and CHRISTOS NOMIKOS and PANOS RONDOGIANNIS},
title = {The Expressive Power of Higher-Order Datalog},
journal = {Theory and Practice of Logic Programming}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A