@inproceedings{publication-3675, address={San Francisco, CA, USA}, author={Kietz, J{\"o}rg-Uwe and Marcus, L{\"u}bbe,}, booktitle={ICML94}, editor={Cohen, William and Hirsh, Haym}, isbn={1-55860-335-2}, publisher={Morgan Kaufmann Publishers}, title={An Efficient Subsumption Algorithm for Inductive Logic Programming}, year=1994, }