On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.

Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri

Browse the full SAC paper archive.