Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards