Jonas Barklund, Johan Bevemyr. Prolog with arrays and bounded quantifications. J. Prog. Lang., 4(3):117-141, 1996. [doi]
@article{BarklundB96,
title = {Prolog with arrays and bounded quantifications},
author = {Jonas Barklund and Johan Bevemyr},
year = {1996},
url = {http://compscinet.dcs.kcl.ac.uk/JP/jp040301.abs.html},
tags = {Prolog},
researchr = {https://researchr.org/publication/BarklundB96},
cites = {0},
citedby = {0},
journal = {J. Prog. Lang.},
volume = {4},
number = {3},
pages = {117-141},
}