@inproceedings{badawi1997array,