The Anatomy of Vampire

Authors
A.Voronkov
Citation
A.voronkov, The Anatomy of Vampire, Journal of automated reasoning , 15(2), 1995, pp. 237-265
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
15
Issue
2
Year of publication
1995
Pages
237 - 265
Database
ACNP
SICI code