The HOM problem is decidable.

Guillem Godoy Omer Giménez Lander Ramos Carme Àlvarez

Published in: STOC (2010)

Keyphrases

first order logic
transitive closure
datalog programs
database
data sets
information systems
expert systems
polynomial hierarchy