\mathbb<i>FDNC</i>: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.

Mantas Simkus Thomas Eiter \mathbb<i>FDNC</i>: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. 514-530 2007 conf/lpar/2007 LPAR http://dx.doi.org/10.1007/978-3-540-75560-9_37 db/conf/lpar/lpar2007.html#SimkusE07