Cited By
View all- Lucas SGutiérrez R(2018)Automatic Synthesis of Logical Models for Order-Sorted First-Order TheoriesJournal of Automated Reasoning10.1007/s10817-017-9419-360:4(465-501)Online publication date: 1-Apr-2018
- Diver LSchafer B(2017)Opening the black box: Petri nets and Privacy by DesignInternational Review of Law, Computers & Technology10.1080/13600869.2017.127512331:1(68-90)Online publication date: 22-Feb-2017
- Jonker WSchütz H(1995)The ECRC multi database systemACM SIGMOD Record10.1145/568271.22390324:2(490)Online publication date: 22-May-1995
- Show More Cited By