Article dans une revue, Base de données, Computer Science, Databases
Deductive databases in four-valued logic: rule semantics and models
Dominique Laurent, Nicolas Spyratos. Deductive databases in four-valued logic: rule semantics and models. Journal of Logic and Computation, In press, ⟨10.1093/logcom/exac047⟩. ⟨hal-03798012⟩