Constraints in computational logics
Generalized Definite Set Constraints
Constraints
Set constraints with intersection
Information and Computation - Special issue: LICS'97
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Theory and Practice of Logic Programming
Set constraints with projections
Journal of the ACM (JACM)
Hi-index | 0.01 |