@inproceedings{AntoyHamlet93ARO
author = "S. Antoy and D. Hamlet",
title = "Testing by Narrowing",
year = "1993",
pages = "13-15",
month = {October},
booktitle = "ARO/AFOSR/ONR Workshop",
address = "Monterey, CA"
}