Incorporating Mutable Arrays into Logic Programming

Lars-Henrik Erikson, Manny Rayner. Incorporating Mutable Arrays into Logic Programming. In ICLP. pages 101-114, 1984.