Disjunctive logic programs with existential quantification in rule heads.

Hits:

Journal:Theory and Practice of Logic Programming

All the Authors:Jia-Huai You, Heng Zhang, Yan Zhang

First Author:Jia-Huai You

Indexed by:Unit Twenty Basic Research

Volume:13

Issue:4-5

Page Number:563-578

Translation or Not:no