@ARTICLE{
author={Kvassay Miroslav,Rusnak Patrik,Zaitseva Elena,Stankovic Radomir S},
year={2020},
title={Multi-Valued Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors},
journal={2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020)},
volume={},
number={},
pages={265-270},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kostolny Jozef,Zaitseva Elena,Stojkovic Suzana R,Stankovic Radomir S},
year={2015},
title={Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives},
journal={COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015},
volume={9520},
number={},
pages={41-48},
document_type={Proceedings Paper},
}