@article{Given_Clause_Loops-AFP,
TITLE = {Given Clause Loops},
AUTHOR = {Blanchette, Jasmin and Qiu, Qi and Tourret, Sophie},
LANGUAGE = {eng},
ISSN = {2150-914x},
URL = {https://isa-afp.org/entries/Given_Clause_Loops.html},
PUBLISHER = {www.isa-afp.org},
YEAR = {2023},
MARGINALMARK = {$\bullet$},
JOURNAL = {Archive of Formal Proofs},
}