Horn Programs and Semicomputable Relations on Abstract Structures.

John V. Tucker Jeffery I. Zucker

Published in: ICALP (1989)

Keyphrases

horn clauses
np hard
propositional logic
computer programs
automatic programming
higher order relations
databases
high level
relational databases
fixpoint
temporal relations
maximal tractable
partially ordered sets