Implementation and Experimentation of the Logic Language NP Datalog.

Sergio Greco Cristian Molinaro Irina Trubitsyna Implementation and Experimentation of the Logic Language NP Datalog. 622-633 2006 conf/dexa/2006 DEXA http://dx.doi.org/10.1007/11827405_61 db/conf/dexa/dexa2006.html#GrecoMT06