@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},
}