Termination and confluence of rule execution

Abstract

Article Termination and confluence of rule execution Share on Authors: Leonie van der Voort CWI, Kruislaan 413, Amsterdam, The Netherlands CWI, Kruislaan 413, Amsterdam, The NetherlandsView Profile , Arno Siebes CWI, Kruislaan 413, Amsterdam, The Netherlands CWI, Kruislaan 413, Amsterdam, The NetherlandsView Profile Authors Info & Claims CIKM '93: Proceedings of the second international conference on Information and knowledge managementDecember 1993 Pages 245–255https://doi.org/10.1145/170088.170142Published:01 December 1993 30citation262DownloadsMetricsTotal Citations30Total Downloads262Last 12 Months2Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access