Incorporating Mutable Arrays into Logic Programming.

Lars-Henrik Erikson, Manny Rayner

Browse the full ICLP paper archive.