Equivalence of logic programs
収録刊行物
-
- Foundations of Deductive Databases and Logic Programming
-
Foundations of Deductive Databases and Logic Programming 1988
Morgan Kaufmann