Three-Valued Formalization of Logic Programming: Is It Needed?

Jia-Huai You, Li-Yan Yuan

Browse the full PODS paper archive.