Chain resolution for the Semantic Web
Tammet, Tanel
Automated Reasoning : Second International Joint Conference, IJCAR 2004 : Cork, Ireland, July 4-8, 2004 : proceedings
2004
/
p. 307-320