(1)
Ryan, M. Efficiently Implementing GOLOG With Answer Set Programming. AAAI 2014, 28.