Incorporating Mutable Arrays into Logic Programming. - Lars-Henrik Erikson; Manny Rayner (ICLP, 1984)