Tatiana Rybina, Andrei Voronkov. A Logical Reconstruction of Reachability. In Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Volume 2890 of Lecture Notes in Computer Science, pages 222-237, Springer, 2003. [doi]
@inproceedings{RybinaV03:0,
title = {A Logical Reconstruction of Reachability},
author = {Tatiana Rybina and Andrei Voronkov},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=222},
researchr = {https://researchr.org/publication/RybinaV03%3A0},
cites = {0},
citedby = {0},
pages = {222-237},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers},
editor = {Manfred Broy and Alexandre V. Zamulin},
volume = {2890},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20813-5},
}