Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi. Undecidable Boundedness Problems for Datalog Programs. Journal of Logic and Algebraic Programming, 25(2):163-190, 1995.
@article{HillebrandKMV95,
title = {Undecidable Boundedness Problems for Datalog Programs},
author = {Gerd G. Hillebrand and Paris C. Kanellakis and Harry G. Mairson and Moshe Y. Vardi},
year = {1995},
tags = {C++, Datalog},
researchr = {https://researchr.org/publication/HillebrandKMV95},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {25},
number = {2},
pages = {163-190},
}