Vidal. Reversible Debugging in Logic Programming. 20 June 2022.