Norihiro Kamide. A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming. Journal of Functional and Logic Programming, 2007, 2007. [doi]
@article{Kamide07-1,
title = {A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming},
author = {Norihiro Kamide},
year = {2007},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2007/A2007-01/A2007-01.html},
researchr = {https://researchr.org/publication/Kamide07-1},
cites = {0},
citedby = {0},
journal = {Journal of Functional and Logic Programming},
volume = {2007},
}