@article {IOPORT.01076964,
    author       = {Lu, James J. and Calmet, Jacques and Sch\"u, Joachim},
    title        = {Computing multiple-valued logic programs.},
    year         = {1997},
    journal      = {Mathware \& Soft Computing},
    volume       = {4},
    number       = {2},
    issn         = {1134-5632},
    pages        = {129-153},
    publisher    = {Universitat Polit\`ecnica de Catalunya, Escola T\`ecnica Superior d'Arquitectura, Secci\'o de Matem\`atiques i Inform\`atica, Barcelona},
    abstract     = {Summary: The logic of signed formula can be used to reason about a wide variety of multiple-valued logics. The current paper is an investigation into the operational semantics of such signed logic programming. The connection of signed logic programming to constraint logic programming is presented, search space issues are briefly discussed for both general and special cases, and applications to bilattice logic programming and truth-maintenance are analyzed.},
    identifier   = {01076964},
}