@article{tarnlund1977,
  title={Horn clause computability},
  author={T{\"a}rnlund, Sten-{\AA}ke},
  journal={BIT Numerical Mathematics},
  volume={17},
  number={2},
  pages={215--226},
  year={1977},
  publisher={Springer}
}

{"_id":"MTJQXdGzwTR398uL5","bibbaseid":"trnlund-hornclausecomputability-1977","author_short":["Tärnlund, S."],"bibdata":{"bibtype":"article","type":"article","title":"Horn clause computability","author":[{"propositions":[],"lastnames":["Tärnlund"],"firstnames":["Sten-Åke"],"suffixes":[]}],"journal":"BIT Numerical Mathematics","volume":"17","number":"2","pages":"215–226","year":"1977","publisher":"Springer","bibtex":"@article{tarnlund1977,\n title={Horn clause computability},\n author={T{\\\"a}rnlund, Sten-{\\AA}ke},\n journal={BIT Numerical Mathematics},\n volume={17},\n number={2},\n pages={215--226},\n year={1977},\n publisher={Springer}\n}\n\n","author_short":["Tärnlund, S."],"key":"tarnlund1977","id":"tarnlund1977","bibbaseid":"trnlund-hornclausecomputability-1977","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/f/mAv4xsa3qE3YSqF2q/biblio.bib","dataSources":["79oQCSkNzzoZHJw69","SC4vtg3To6xYfQL7G"],"keywords":[],"search_terms":["horn","clause","computability","tärnlund"],"title":"Horn clause computability","year":1977}