Entailment / Datalog Complete, Sound, Terminating / English Reasoning

Received on Thursday, 22 May 2003 22:16:02 UTC