Efficient instance retrieval with standard and relational path indexing (2005)

by A Riazanov, A Voronkov
Venue:In 19th International Conference on Automated Deduction