@article{riazanov2002,
	title = {The design and implementation of VAMPIRE.},
	author = {Alexandre Riazanov and Andrei Voronkov},
	journal = {AI Commun.},
	number = {2-3},
	pages = {91-110},
	url = {http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02},
	volume = {15},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/daks},
	description = {dblp},
	ee = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=15&issue=2&spage=91}, date = {2003-11-27},
	keywords = {first-order reasoning }
}

@inproceedings{Mazanek:RTA08,
	title = {Functional-logic Graph Parser Combinators},
	author = {Steffen Mazanek and Mark Minas},
	booktitle = {Proc. of the 19th International Conference on Rewriting Techniques and Applications},
	editor = {A. Voronkov},
	pages = {261-275},
	publisher = {Springer},
	series = {LNCS},
	url = {http://www.springerlink.com/content/874k777042744r6u/},
	volume = {5117/2008},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2c2316b6c7afa847f23c7e56d53275305/smazanek},
	keywords = {curry functional-logic+programming graph+parsing parser+combinators }
}

@inproceedings{conf/lpar/McIverM02,
	title = {Games, Probability and the Quantitative µ-Calculus qMµ.},
	author = {Annabelle McIver and Carroll Morgan},
	booktitle = {LPAR},
	crossref = {conf/lpar/2002},
	editor = {Matthias Baaz and Andrei Voronkov},
	pages = {292-310},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2002.html#McIverM02},
	volume = {2514},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2f6b58f9c95b0aa779625d9991fac46a2/dblp},
	description = {dblp},
	date = {2008-07-09}, ee = {http://link.springer.de/link/service/series/0558/bibs/2514/25140292.htm}, isbn = {3-540-00010-0},
	keywords = {dblp }
}

@inproceedings{conf/csr/Vyugin07,
	title = {On Empirical Meaning of Randomness with Respect to a Real Parameter.},
	author = {Vladimir V. V'yugin},
	booktitle = {CSR},
	crossref = {conf/csr/2007},
	editor = {Volker Diekert and Mikhail V. Volkov and Andrei Voronkov},
	pages = {387-396},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/csr/csr2007.html#Vyugin07},
	volume = {4649},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2175b2d7e5ee4baf294dbcdcdf2333d0b/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://dx.doi.org/10.1007/978-3-540-74510-5_39}, isbn = {978-3-540-74509-9},
	keywords = {dblp }
}

@inproceedings{conf/ijcnn/SkribtsovKKPVGOL07,
	title = {"Neuromathematics" - Open platform to accelerate complex applied math problems solutions using neural network algorithms.},
	author = {Pavel V. Skribtsov and Pavel A. Kazantsev and Svetlana V. Korobkova and Dmitry V. Pantiukhin and Ilia M. Voronkov and Alexander I. Galushkin and Georgiy P. Ostapenko and Artem M. Lodyagin},
	booktitle = {IJCNN},
	crossref = {conf/ijcnn/2007},
	pages = {1157-1161},
	publisher = {IEEE},
	url = {http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2007.html#SkribtsovKKPVGOL07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2974377e6b53219b1f287b37cf9893094/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/IJCNN.2007.4371121}, date = {2008-04-21},
	keywords = {dblp }
}

@article{riazanov2002,
	title = {The design and implementation of VAMPIRE.},
	author = {Alexandre Riazanov and Andrei Voronkov},
	journal = {AI Commun.},
	number = {2-3},
	pages = {91-110},
	url = {http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02},
	volume = {15},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/thau},
	description = {dblp},
	ee = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=15&issue=2&spage=91}, date = {2003-11-27},
	keywords = {first-order reasoning }
}

@article{journals/corr/cs-LO-0207068,
	title = {Knuth-Bendix constraint solving is NP-complete},
	author = {Konstantin Korovin and Andrei Voronkov},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0207.html#cs-LO-0207068},
	volume = {cs.LO/0207068},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2ea35b2f0f5a1d125b85b0ecac5c7429b/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs.LO/0207068}, date = {2008-01-02},
	keywords = {dblp }
}

@article{journals/jcc/BolshakovRVOL07,
	title = {The performance of the new 6-31G## basis set: Molecular structures and vibrational frequencies of transition metal carbonyls.},
	author = {Vladimir I. Bolshakov and Vladimir V. Rossikhin and Eugene O. Voronkov and Sergiy I. Okovytyy and Jerzy Leszczynski},
	journal = {Journal of Computational Chemistry},
	number = {4},
	pages = {778-782},
	url = {http://dblp.uni-trier.de/db/journals/jcc/jcc28.html#BolshakovRVOL07},
	volume = {28},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/23b5c44b2b929bd8c60722d5cc4e1ec64/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1002/jcc.20596}, date = {2007-11-27},
	keywords = {dblp }
}

@inproceedings{practical,
	title = {Practical Reasoning for Expressive Description Logics},
	author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
	booktitle = {Proceedings of the 6th International Conference on Logic for Programming
	and Automated Reasoning {(LPAR'99)}},
	editor = {Harald Ganzinger and David McAllester and Andrei Voronkov},
	month = {September},
	number = {1705},
	pages = {161--180},
	publisher = {Springer-Verlag},
	series = {Lecture Notes in Artificial Intelligence},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/22704525947f4a06f1cf720b46f8d9032/ramaz},
	owner = {Mauro}, timestamp = {2006.08.31},
	keywords = {imported }
}

@inproceedings{horrocks99practical,
	title = {Practical Reasoning for Expressive Description Logics},
	author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
	booktitle = {Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning {({LPAR}'99)}},
	editor = {Harald Ganzinger and David McAllester and Andrei Voronkov},
	number = {1705},
	pages = {161--180},
	publisher = {Springer-Verlag},
	url = {citeseer.csail.mit.edu/article/horrocks99practical.html},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/22704525947f4a06f1cf720b46f8d9032/aljsanchez},
	description = {Practical Reasoning for EDL},
	keywords = {description logic }
}