## Paul Tarau

*Declarative modeling of finite mathematics*

PPDP, 2010.

@inproceedings{PPDP-2010-Tarau, author = "Paul Tarau", booktitle = "{Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1836089.1836106", isbn = "978-1-4503-0132-9", pages = "131--142", publisher = "{ACM}", title = "{Declarative modeling of finite mathematics}", year = 2010, }