@INPROCEEDINGS{AA-MPB-SR-MR-AKS:VERIFY2002:array,
AUTHOR = {Alessandro Armando and Maria Paola Bonacina and Silvio Ranise
and Micha\"el Rusinowitch and Aditya Kumar Sehgal},
TITLE = "High-performance deduction for verification:
a case study in the theory of arrays",
BOOKTITLE = "Notes of the Second International Workshop on Verification (VERIFY),
Third Federated Logic Conference (FLoC)",
EDITOR = {Serge Autexier and Heiko Mantel},
PUBLISHER = {DIKU, University of Copenhagen, Denmark},
SERIES = "Technical Reports",
NUMBER = "07/2002",
PAGES = "103--112",
MONTH = "July",
YEAR = 2002}