Login / Signup
Extending ${\cal H}_1$ -Clauses with Path Disequalities.
Helmut Seidl
Andreas Reuß
Published in:
FoSSaCS (2012)
Keyphrases
</>
search space
shortest path
first order logic
database
social networks
website
relational databases
endpoints