The HOM problem is decidable.

Guillem Godoy Omer Giménez

Published in: J. ACM (2013)

Keyphrases

first order logic
datalog programs
function symbols
transitive closure
existentially quantified
information retrieval
information systems
optimal solution