@inproceedings{ijcai2013p136, title = {Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues}, author = {Fargier, Helene and Marquis, Pierre and Schmidt, Nicolas}, booktitle = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, {IJCAI-13}}, publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence}, editor = {Francesca Rossi}, pages = {884--889}, year = {2013}, month = {8}, url = {https://ijcai.org/proceedings/2013/136}, }