@inproceedings{XDM06ATVA,
        author = "Songtao Xia and Ben Di Vito and C{\'{e}}sar Mu{\~{n}}oz",
        title = "Predicate Abstraction of Programs With Non-linear 
                 Computation",
        booktitle = "Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006",
        address = "Beijing, China",
        editor          = "S. Graf and W. Zhang",
        series          = "Lecture Notes in Computer Science",
        volume          = 4218,
        publisher       = "Springer-Verlag",
        pages = "352--368", 
        year = "2006"}