Realizable paths and the NL vs L problem. - Kintali Shiva Prasad (2011)