Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers
PPDP, 2018.
@inproceedings{PPDP-2018-GreweEPM,
author = "Sylvia Grewe and Sebastian Erdweg and André Pacak and Mira Mezini",
booktitle = "{Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming}",
doi = "10.1145/3236950.3236960",
pages = "10",
publisher = "{ACM}",
title = "{System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers}",
year = 2018,
}