---
title: "Who cites PRover: Proof Generation for — 54 citing papers"
description: "54 papers of the Elamur Research library cite «PRover: Proof Generation for Interpretable Reasoning over Rules», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [PRover: Proof Generation for Interpretable…](https://md.research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/) / cited by

# Who cites «PRover: Proof Generation for Interpretable Reasoning over Rules»

54 papers of our library cite it (of the 141,840 whose bibliographies we read) · 3 with a page here, the most cited first · [← back to «PRover: Proof Generation for Interpretable Reasoning over Rules»](https://md.research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/)

51 more papers of our library cite it; they have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/) — PRover: Proof Generation for Interpretable Reasoning over Rules