TY  - RPRT
TI  - Weighted First Order Model Counting with Directed Acyclic Graph Axioms
AU  - Sagar Malhotra
AU  - Luciano Serafini
PY  - 2023
UR  - https://arxiv.org/abs/2302.09830
ID  - 2302.09830
ER  -