Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran. Variable Elimination for DLP-Functions. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 643-644, AAAI Press, 2018. [doi]
@inproceedings{0001JKLW18, title = {Variable Elimination for DLP-Functions}, author = {Ricardo Gonçalves 0001 and Tomi Janhunen and Matthias Knorr and João Leite and Stefan Woltran}, year = {2018}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18000}, researchr = {https://researchr.org/publication/0001JKLW18}, cites = {0}, citedby = {0}, pages = {643-644}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, publisher = {AAAI Press}, isbn = {978-1-57735-803-9}, }