The design and implementation of VAMPIRE. Riazanov, A. & Voronkov, A. AI Communications, 15:91–110, 2002.
bibtex   
@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}
}

Downloads: 0