Incorporating mutable arrays into logic programming (1984)

by L-H &Rayner Eriksson, M
Venue:Uppsala University