J. Babb and J. Lee, “Action Language BC+: Preliminary Report”, AAAI, vol. 29, no. 1, Feb. 2015.