(1)
De Giacomo, G.; Lespérance, Y.; Ternovska, E. ElGolog: A High-Level Programming Language With Memory of the Execution History. AAAI 2020, 34, 2806-2813.