Modal logic and navigational XPath: an experimental comparison

FRANCESCHET, Massimo

ZIMUEL E.