Undecidable boundedness problems for datalog programs

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

Principles of database and knowledge-base systems

Choice Reviews Online · 1989 · 2.7K citations

Computing, Computer Science, Information Systems +16

Proceedings of the 30th IEEE symposium on Foundations of computer science

Zvi Galil, E. K. Blum · Foundations of Computer Science · 1994 · 651 citations

Computing, Computer Engineering, Computer Science +14

Horn clause queries and generalizations

Ashok K. Chandra, David Harel · The Journal of Logic Programming · 1985 · 309 citations

Computing, Computer Science, Computational Linguistics +9