## Amirhossein Vakili, Nancy A. Day

*Finite Model Finding Using the Logic of Equality with Uninterpreted Functions*

FM, 2016.

@inproceedings{FM-2016-VakiliD, author = "Amirhossein Vakili and Nancy A. Day", booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}", doi = "10.1007/978-3-319-48989-6_41", isbn = "978-3-319-48988-9", pages = "677--693", title = "{Finite Model Finding Using the Logic of Equality with Uninterpreted Functions}", year = 2016, }