4 records found
1
External memory k-bisimulation reduction of big graphs
A Structural Approach to Indexing Triples
Storing and Indexing Massive RDF Datasets
On guarded simulations and acyclic first-order languages