Guillaume Aucher, Jean Berbinau, Marie-Laure Morin. Principles for a Judgement Editor Based on Binary Decision Diagrams. FLAP, 6(5):781-814, 2019. [doi]
@article{AucherBM19,
title = {Principles for a Judgement Editor Based on Binary Decision Diagrams},
author = {Guillaume Aucher and Jean Berbinau and Marie-Laure Morin},
year = {2019},
url = {https://collegepublications.co.uk/ifcolog/?00034},
researchr = {https://researchr.org/publication/AucherBM19},
cites = {0},
citedby = {0},
journal = {FLAP},
volume = {6},
number = {5},
pages = {781-814},
}