FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols (2008)

by Mantas Simkus , Thomas Eiter
Citations:8 - 0 self