BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:thau
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
thau's BibTeX entry:  

The design and implementation of VAMPIRE.

AI Commun., 15(2-3): 91-110, 2002.
Authors: Alexandre Riazanov and Andrei Voronkov
URL: http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02
Description: dblp
Tags: first-order reasoning
| URL | BibTeX  
@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},
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 }
}