"A Logic for SDSI's Linked Local Name Spaces."

Joseph Y. Halpern, Ron van der Meyden (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics