@article{Jensen_2018,
    doi = {10.3233/aic-180764},
    url = {https://doi.org/10.3233%2Faic-180764},
    year = {2018},
    month = {may},
    publisher = {{IOS} Press},
    volume = {31},
    number = {3},
    pages = {281--299},
    author = {Alexander Birch Jensen and John Bruntse Larsen and Anders Schlichtkrull and J{\o}rgen Villadsen},
    editor = {Pascal Fontaine and Cezary Kaliszyk and Stephan Schulz and Josef Urban},
    title = {Programming and verifying a declarative first-order prover in Isabelle/{HOL}},
    journal = {{AI} Communications}
}

@article{Jensen_2018, doi = {10.3233/aic-180764}, url = {https://doi.org/10.3233%2Faic-180764}, year = {2018}, month = {may}, publisher = {{IOS} Press}, volume = {31}, number = {3}, pages = {281--299}, author = {Alexander Birch Jensen and John Bruntse Larsen and Anders Schlichtkrull and J{\o}rgen Villadsen}, editor = {Pascal Fontaine and Cezary Kaliszyk and Stephan Schulz and Josef Urban}, title = {Programming and verifying a declarative first-order prover in Isabelle/{HOL}}, journal = {{AI} Communications} }