Gts and interrogative tableaux.

Published in: Synth. (1994)

Keyphrases

modal logic
semantic properties
functional dependencies
decision procedures
general purpose
data sources
logic programming
proof procedure