Alexander Leitsch
G. Gottlob and A. Leitsch.
On the efficiency of subsumption algorithms.
Journal of the ACM
, 32(2):280-295, April 1985.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database