Finding program slices for recursive procedures | IEEE Conference Publication | IEEE Xplore