@ARTICLE{
author={Bochmann D,Stankovic Radomir S,Tosic Zivko,Shmerko V,Yanushkevich S},
year={2000},
title={Logic differential calculus: Progress, tendencies, and applications},
journal={AUTOMATION AND REMOTE CONTROL},
volume={61},
number={6},
pages={1033-1047},
document_type={Article},
}