@ARTICLE{bbtpv21,
  author = {M. Benedikt and P. Bourhis and B. {Ten Cate} and G. Puppis and M. {Vanden Boom}},
  title = {Inference from Visible Information and Background Knowledge},
  journal = {ACM Transactions on Computational Logic},
  year = {2021},
  volume = {22},
  number = {2},
  pages = {13:1--13:69},
  publisher = {ACM}
}