Prolog with arrays and bounded quantifications

Jonas Barklund, Johan Bevemyr. Prolog with arrays and bounded quantifications. J. Prog. Lang., 4(3):117-141, 1996. [doi]

Abstract

Abstract is missing.