Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Jensen, Alexander Birch
Larsen, John Bruntse
Schlichtkrull, Anders
Villadsen, Jørgen
Fontaine, Pascal
Kaliszyk, Cezary
Schulz, Stephan
and
Urban, Josef
2018.
Programming and verifying a declarative first-order prover in Isabelle/HOL.
AI Communications,
Vol. 31,
Issue. 3,
p.
281.