@ARTICLE{
author={Keren Osnat,Levin Ilya,Stankovic Radomir S},
year={2011},
title={Linearization of logical functions defined by a set of orthogonal terms. II. Algorithmic aspects},
journal={AUTOMATION AND REMOTE CONTROL},
volume={72},
number={4},
pages={818-827},
document_type={Article},
} 

@ARTICLE{
author={Keren Osnat,Levin Ilya,Stankovic Radomir S},
year={2011},
title={Linearization of logical functions defined by a set of orthogonal terms. I. Theoretical aspects},
journal={AUTOMATION AND REMOTE CONTROL},
volume={72},
number={3},
pages={615-625},
document_type={Article},
} 

@ARTICLE{
author={Keren Osnat,Levin Ilya,Stankovic Radomir S},
year={2011},
title={Determining the Number of Paths in Decision Diagrams by Using Autocorrelation Coefficients},
journal={IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS},
volume={30},
number={1},
pages={31-44},
document_type={Article},
}