Heuristic Backward Chaining Based on Predicate Tensorization
Keyword(s):
Keyword(s):
2005 ◽
pp. 132-155
◽