Logic programs with monotone abstract constraint atoms
収録刊行物
-
- Theory and Practice of Logic Programming
-
Theory and Practice of Logic Programming 8 (2), 167-199, 2007
Theory and Practice of Logic Programming 8 (2), 167-199, 2007