TY  - RPRT
TI  - NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems
AU  - Sergio Greco
AU  - Cristian Molinaro
AU  - Irina Trubitsyna
AU  - Ester Zumpano
PY  - 2009
UR  - https://arxiv.org/abs/0911.2785
ID  - 0911.2785
ER  -