Datalog vs first-order logic
Under an Elsevier user license
open archive
Cited by (0)
- *
Supported by NSF grants CCR 89-04728, CCR 92-04742 and by ONR Grant N00014-91-J-11861. The main part of this work was done during 1988–89 academic year when this author was with Stanford University and IBM Almaden Research Center (on a sabbatical leave from the University of Michigan).
Copyright © 1994 Published by Elsevier Inc.