@Article{RV02-AICOMM,
    Author       = "Riazanov, A. and Voronkov, A.",
    Year         = "2002",
    Title        = "{The Design and Implementation of Vampire}",
    Journal      = "AI Communications",
    Volume       = "15",
    Number       = "2-3",
    Pages        = "91-110",
    Comment      = ""
}