共 50 条
- [2] ACCESS TO INFORMATION AND DECISION MAKING IN INTEGRATED SYSTEMS CHEMISCHE TECHNIK, 1969, 21 (12): : 794 - &
- [5] Decision Procedures for Proving Inductive Theorems without Induction PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 237 - 248
- [6] Distributed proving in access-control systems 2005 IEEE Symposium on Security and Privacy, Proceedings, 2005, : 81 - 95