Efficient exact paths for dyck and semi-dyck labeled path reachability (extended abstract) | IEEE Conference Publication | IEEE Xplore