@Inproceedings{EPTCS306.10,
  author    = {Barbosa, Jo\~ao and Florido, M\'ario and Santos Costa, V\'itor},
  year      = {2019},
  title     = {A Three-Valued Semantics for Typed Logic Programming},
  editor    = {Bogaerts, Bart and Erdem, Esra and Fodor, Paul and Formisano, Andrea and Ianni, Giovambattista and Inclezan, Daniela and Vidal, German and Villanueva, Alicia and Vos, Marina De and Yang, Fangkai},
  booktitle = {{\rm Proceedings 35th International Conference on}
               Logic Programming {\rm (Technical Communications)} ,
               {\rm Las Cruces, NM, USA, September 20-25, 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {306},
  publisher = {Open Publishing Association},
  pages     = {36-51},
  doi       = {10.4204/EPTCS.306.10},
}