P != NC over the p-adic numbers.

Michael Maller Jennifer Whitehead P != NC over the p-adic numbers. 125-131 2003 19 J. Complexity 2 http://dx.doi.org/10.1016/S0885-064X(02)00002-X db/journals/jc/jc19.html#MallerW03