Authors: Buccafurri, F Eiter, T Gottlob, G Leone, N

Citation: F. Buccafurri et al., On ACTL formulas having linear counterexamples, J COMPUT SY, 62(3), 2001, pp. 463-515

Authors: Buccafurri, F Leone, N Rullo, P

Citation: F. Buccafurri et al., Enhancing disjunctive datalog by constraints, IEEE KNOWL, 12(5), 2000, pp. 845-860

Authors: Buccafurri, F Leone, N Rullo, P

Citation: F. Buccafurri et al., Semantics and expressiveness of disjunctive ordered logic, ANN MATH A, 25(3-4), 1999, pp. 311-337

Authors: Buccafurri, F Eiter, T Gottlob, G Leone, N

Citation: F. Buccafurri et al., Enhancing model checking in verification by AI techniques, ARTIF INTEL, 112(1-2), 1999, pp. 57-104