Reasoning about Array Segments.

Joxan Jaffar, Jean-Louis Lassez

Browse the full ECAI paper archive.