TY  - RPRT
TI  - A Schema-aware Logic Reformulation for Graph Reachability
AU  - Davide Di Pierro
AU  - Stephan Mennicke
AU  - Stefano Ferilli
PY  - 2025
UR  - https://arxiv.org/abs/2410.02533
ID  - 2410.02533
ER  -