@article{Riazanov+Voronkov:2002,
	author = {Alexandre Riazanov and Andrei Voronkov},
	title = {The design and implementation of {VAMPIRE}},
	journal = {AI Communications},
	year = 2002,
	volume = 15,
	_number = {2--3},
	pages = {91--110}
}

{"_id":{"_str":"534279630e946d920a001720"},"__v":1,"authorIDs":[],"author_short":["Riazanov, A.","Voronkov, A."],"bibbaseid":"riazanov-voronkov-thedesignandimplementationofvampire-2002","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alexandre"],"propositions":[],"lastnames":["Riazanov"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"title":"The design and implementation of VAMPIRE","journal":"AI Communications","year":"2002","volume":"15","_number":"2–3","pages":"91–110","bibtex":"@article{Riazanov+Voronkov:2002,\n\tauthor = {Alexandre Riazanov and Andrei Voronkov},\n\ttitle = {The design and implementation of {VAMPIRE}},\n\tjournal = {AI Communications},\n\tyear = 2002,\n\tvolume = 15,\n\t_number = {2--3},\n\tpages = {91--110}\n}\n\n","author_short":["Riazanov, A.","Voronkov, A."],"key":"Riazanov+Voronkov:2002","id":"Riazanov+Voronkov:2002","bibbaseid":"riazanov-voronkov-thedesignandimplementationofvampire-2002","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","downloads":0,"keywords":[],"search_terms":["design","implementation","vampire","riazanov","voronkov"],"title":"The design and implementation of VAMPIRE","year":2002,"dataSources":["2cjnbEWxd35GBeqEe","cx4WvnDhXJhiLqdQo"]}