Bottom-up compuation of perfect models for disjunctive theories
Journal
-
- J. Logic Programming
-
J. Logic Programming 25 (1), 33-51, 1995
- Tweet
Details 詳細情報について
-
- CRID
- 1572261551602526080
-
- NII Article ID
- 80008570635
-
- Data Source
-
- CiNii Articles