@inproceedings{CIKM-1993-VoortS,
	author        = "Leonie van der Voort and Arno Siebes",
	booktitle     = "{Proceedings of the Second International Conference on Information and Knowledge Management}",
	cdrom         = "CIKM1993/P245.pdf",
	doi           = "10.1145/170088.170142",
	isbn          = "0-89791-626-3",
	pages         = "245--255",
	publisher     = "{ACM}",
	title         = "{Termination and Confluence of Rule Execution}",
	year          = 1993,
}