Joxan Jaffar, Jean-Louis Lassez. Reasoning about Array Segments. In ECAI. pages 62-66, 1982.
@inproceedings{JaffarL82,
title = {Reasoning about Array Segments},
author = {Joxan Jaffar and Jean-Louis Lassez},
year = {1982},
researchr = {https://researchr.org/publication/JaffarL82},
cites = {0},
citedby = {0},
pages = {62-66},
booktitle = {ECAI},
}