Planning using abstraction induced by substitution property | IEEE Conference Publication | IEEE Xplore