Sound and complete sld-resolution for bilattice-based annotated logic programs (0)

by E Komendantskaya, A K Seda
Venue:In Proceedings of the International Conference INFORMATION-MFCSIT’06