Monotone separation of logspace from NC/sup 1/ | IEEE Conference Publication | IEEE Xplore