Stefano Aguzzoli, Ottavio M. D Antona, Vincenzo Marra. Brun Normal Forms for Co-atomic Lukasiewicz Logics. In Lluis Godo, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings. Volume 3571 of Lecture Notes in Computer Science, pages 650-661, Springer, 2005. [doi]
@inproceedings{AguzzoliDM05,
title = {Brun Normal Forms for Co-atomic Lukasiewicz Logics},
author = {Stefano Aguzzoli and Ottavio M. D Antona and Vincenzo Marra},
year = {2005},
doi = {10.1007/11518655_55},
url = {http://dx.doi.org/10.1007/11518655_55},
tags = {logic},
researchr = {https://researchr.org/publication/AguzzoliDM05},
cites = {0},
citedby = {0},
pages = {650-661},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings},
editor = {Lluis Godo},
volume = {3571},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-27326-3},
}