---
title: "isafol/isafol: papers citing this Bitbucket repository"
description: "3 papers in the tracked journals link to the Bitbucket repository isafol/isafol in their Crossref records, the first in 2018; most of them (2) in 2018."
url: https://scholar4ai.com/code/bitbucket-isafol-isafol
markdown_url: https://scholar4ai.com/code/bitbucket-isafol-isafol.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "3 papers in the tracked journals link to the Bitbucket repository isafol/isafol in their Crossref records, the first in 2018; most of them (2) in 2018. (as of 2026-11-03)"
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-11-03T14:43:26+09:00
window: 2026-10-05 to 2026-11-03
source: OpenAlex (CC0)
---

# isafol/isafol: papers linking to it

Research papers in the 480 tracked journals that link to isafol/isafol (https://bitbucket.org/isafol/isafol), read from their Crossref records: by year, category and journal, the family tree of papers building on one another, and the linked repositories derived from it or that it derives from.

- Bitbucket
- https://bitbucket.org/isafol/isafol

All repositories: https://scholar4ai.com/code.md

## Key findings

- 3 papers in the tracked journals link to the Bitbucket repository isafol/isafol in their Crossref records, the first in 2018; most of them (2) in 2018.
- By category: AI (3); the journals with the most are Journal of Automated Reasoning (3).

## By year

*Papers linking to isafol/isafol by publication year*

| Year | Papers |
|---|---:|
| 2018 | 2 |
| 2019 | 1 |

## Journals

*Journals whose papers link to isafol/isafol most*

| Journal | Papers |
|---|---:|
| [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 3 |

## Papers

*Papers linking to isafol/isafol, most cited first*

| Published | Title | Journal | Authors | Citations | Link |
|---|---|---|---|---:|---|
| 2018-03-12 | [A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality](https://doi.org/10.1007/s10817-018-9455-7) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich et al. | 44 | cites it |
| 2018-01-20 | [Formalization of the Resolution Calculus for First-Order Logic](https://doi.org/10.1007/s10817-017-9447-z) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | Anders Schlichtkrull | 14 | cites it |
| 2019-04-16 | [A Formalized General Theory of Syntax with Bindings: Extended Version](https://doi.org/10.1007/s10817-019-09522-2) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | Lorenzo Gheri, Andrei Popescu | 12 | cites it |

## How this is measured

Links are read from each paper's Crossref record as its publisher deposited it: the URLs and repository DOIs in its reference list (the software and data it cites) and its supplementary links (“is-supplemented-by”: its own code or data). A paper that gives its code only in the text, a footnote or a data availability statement is not counted, and some publishers deposit reference lists without their URLs, so every count here is a lower bound. Repository details come from the GitHub REST API (stars, forks, and the repository a fork was made from), the Hugging Face Hub API (likes, downloads, and the base model a model was derived from) and DataCite (Zenodo and other data DOIs, and the GitHub release a Zenodo record archives), read again every month.

## Cite this page

Scholar4AI. (2026). isafol/isafol: papers linking to it. Journal and Conference Research Rankings. Retrieved November 3, 2026, from https://scholar4ai.com/code/bitbucket-isafol-isafol

```bibtex
@misc{scholar4ai-code-bitbucket-isafol-isafol,
  author = {{Scholar4AI}},
  title = {isafol/isafol: papers linking to it},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/code/bitbucket-isafol-isafol}},
  urldate = {2026-11-03},
  note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}
```

License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).