Efficient algorithms for path system problems and applications to alternating and time-space complexity classes | IEEE Conference Publication | IEEE Xplore