Decidable Navigation Logics for Object Structures.

Frank S. de Boer, Rogier M. van Eijk

Browse the full CSL paper archive.