TY  - RPRT
TI  - A Three-Valued Semantics for Typed Logic Programming
AU  - João Barbosa
AU  - Mário Florido
AU  - Vítor Santos Costa
PY  - 2019
DO  - 10.4204/eptcs.306.10
UR  - https://arxiv.org/abs/1909.08232
ID  - 1909.08232
ER  -