Jonas Barklund Johan Bevemyr Prolog with arrays and bounded quantifications. 117-141 1996 4 J. Prog. Lang. 3 http://compscinet.dcs.kcl.ac.uk/JP/jp040301.abs.html db/journals/jpl/jpl4.html#BarklundB96