Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming

Krzysztof R. Apt. Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming. Science of Computer Programming, 26(1-3):133-148, 1996.

Abstract

Abstract is missing.