2 records found
1
A Structural Approach to Indexing Triples
On guarded simulations and acyclic first-order languages