Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
No Thumbnail Available
Date
2011
Authors
Flávio Fernandes Cruz
Ricardo Rocha