PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperEvent matching using the transitive closure of dependency relationsDaniel M. Bikel, Vittorio CastelliACL 2008
PaperSpecifying Queries as Relational Expressions: The SQUARE Data SublanguageRaymond F. Boyce, Donald D. Chamberlin, et al.CACM
Conference paperIdentity delegation in policy based systemsRajeev Gupta, Shourya Roy, et al.ICAC 2006