On the Efficiency of Subsumption Algorithms
Georg Gottlob and Alexander Leitsch
Details
| Journal |
J. ACM |
| Number |
2 |
| Pages |
280−295 |
| Volume |
32 |
| Year |
1985 |
Links
Related pages
|
People |