Separating the complexity classes NL and NP

David B. Benson

Withdrawn since -order- was overlooked. First order reductions without order are much too weak to separate.