TY  - RPRT
TI  - NP - P is not empty
AU  - Marius Constantin Ionescu
PY  - 2016
UR  - https://arxiv.org/abs/cs/0409039
ID  - cs/0409039
ER  -