Reza Basseda, Michael Kifer, Anthony J. Bonner: Planning with Transaction Logic. RR 2014: 29-44