Reference:

A. Bouajjani and J. Esparza. Rewriting models of boolean programs. In Proceedings of RTA 2006, Seattle, USA, 2006.

Suggested BibTeX entry:

@inproceedings{BE06,
    address = {Seattle, USA},
    author = {A. Bouajjani and J. Esparza},
    booktitle = {Proceedings of RTA 2006},
    title = {Rewriting Models of Boolean Programs},
    year = {2006}
}