M. Ryan, “Efficiently Implementing GOLOG with Answer Set Programming”, AAAI, vol. 28, no. 1, Jun. 2014.