On the declarative semantics of deductive databases and logic programs
収録刊行物
-
- Foundations of Deductive Databases and Logic Programming
-
Foundations of Deductive Databases and Logic Programming 193-216, 1988
Morgan Kaufmann