@ARTICLE{
author={Moraga Claudio,Sasao T,Stankovic Radomir S},
year={2002},
title={A unifying approach to edge-valued and arithmetic transform decision diagrams},
journal={AUTOMATION AND REMOTE CONTROL},
volume={63},
number={1},
pages={125-138},
document_type={Article},
} 

@ARTICLE{
author={Stankovic Radomir S,Sasao T},
year={2001},
title={A discussion on the history of research in arithmetic and Reed-Muller expressions},
journal={IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS},
volume={20},
number={9},
pages={1177-1179},
document_type={Editorial Material},
}