@inproceedings{DBLP:conf/agp/Apt95,
author = {Krzysztof R. Apt},
title = {Arrays, Bounded Quantification and Iteration in Logic and
Constraint Logic Programming},
booktitle = {GULP-PRODE},
year = {1995},
pages = {19-36},
crossref = {DBLP:conf/agp/1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/agp/1995,
editor = {Mar\'{\i}a Alpuente and
Maria I. Sessa},
title = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95,
Marina di Vietri, Italy, September 11-14, 1995},
booktitle = {GULP-PRODE},
year = {1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-09-16 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
