@inproceedings{BK06,
        author      =   "T. Ball and O. Kupferman",
        title       =   "An Abstraction-Refinement Framework for Multi-Agent Systems", 
        booktitle   =   "Proc. 21st {IEEE} Symp. on Logic in
             Computer Science",
        year        =   "2006"
}