Hanne Vlaeminck, Joost Vennekens, Marc Denecker
A logical framework for configuration software
PPDP, 2009.
@inproceedings{PPDP-2009-VlaeminckVD, author = "Hanne Vlaeminck and Joost Vennekens and Marc Denecker", booktitle = "{Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1599410.1599428", isbn = "978-1-60558-568-0", pages = "141--148", publisher = "{ACM}", title = "{A logical framework for configuration software}", year = 2009, }