@inproceedings{ICML-1994-KietzL,
	author        = "Jörg-Uwe Kietz and Marcus Lübbe",
	booktitle     = "{Proceedings of the 11th International Conference on Machine Learning}",
	isbn          = "1-55860-335-2",
	pages         = "130--138",
	publisher     = "{Morgan Kaufmann}",
	title         = "{An Efficient Subsumption Algorithm for Inductive Logic Programming}",
	year          = 1994,
}