TY  - RPRT
TI  - Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)
AU  - Chencheng Liang
AU  - Philipp Rümmer
AU  - Marc Brockschmidt
PY  - 2022
UR  - https://arxiv.org/abs/2206.06986
ID  - 2206.06986
ER  -