@article{LISITSA_2008,
    Author = {LISITSA, ALEXEI and NEMYTYKH, ANDREI P.},
    File = {REACHABILITY\_ANALYSIS\_IN\_VERIFICATION\_VIA\_SUPERCOMPILATION - r.pdf},
    Journal = {International Journal of Foundations of Computer Science},
    Month = {aug},
    Number = {04},
    Pages = {953--969},
    Publisher = {World Scientific Pub Co Pte Lt},
    Title = {{REACHABILITY} {ANALYSIS} {IN} {VERIFICATION} {VIA} {SUPERCOMPILATION}},
    URL = {https://doi.org/10.1142\%2Fs0129054108006066},
    Volume = {19},
    Year = {2008},
    bdsk-url-1 = {https://doi.org/10.1142\%2Fs0129054108006066},
    bdsk-url-2 = {https://doi.org/10.1142/s0129054108006066},
    date-added = {2021-03-29 20:14:40 +0200},
    date-modified = {2021-03-29 20:14:40 +0200},
    doi = {10.1142/s0129054108006066}
}

@article{LISITSA_2008, Author = {LISITSA, ALEXEI and NEMYTYKH, ANDREI P.}, File = {REACHABILITY_ANALYSIS_IN_VERIFICATION_VIA_SUPERCOMPILATION - r.pdf}, Journal = {International Journal of Foundations of Computer Science}, Month = {aug}, Number = {04}, Pages = {953--969}, Publisher = {World Scientific Pub Co Pte Lt}, Title = {{REACHABILITY} {ANALYSIS} {IN} {VERIFICATION} {VIA} {SUPERCOMPILATION}}, URL = {https://doi.org/10.1142\%2Fs0129054108006066}, Volume = {19}, Year = {2008}, bdsk-url-1 = {https://doi.org/10.1142\%2Fs0129054108006066}, bdsk-url-2 = {https://doi.org/10.1142/s0129054108006066}, date-added = {2021-03-29 20:14:40 +0200}, date-modified = {2021-03-29 20:14:40 +0200}, doi = {10.1142/s0129054108006066} }