Backward chaining evaluation in stratified disjunctive theories
Véronique Royer · 1990
Article Free AccessBackward chaining evaluation in stratified disjunctive theories Author: Véronique Royer ONERA-CERT Computer Science Dep., 2 av. E. Belin BP4025, 31055 Toulouse, France ONERA-CERT Computer Science Dep., 2 av. E. Belin BP4025, 31055 Toulouse, FranceView Profile Authors Info & Claims PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systemsApril 1990 Pages 183–195https://doi.org/10.1145/298514.298562Published:02 April 1990Publication History 3citation216DownloadsMetricsTotal Citations3Total Downloads216Last 12 Months9Last 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 SiteeReaderPDF