TY - RPRT TI - Computing and Comparing Semantics of Programs in Multi-valued Logics AU - Y. Loyer AU - N. Spyratos AU - D. Stamate PY - 2000 UR - https://arxiv.org/abs/cs/0002013 ID - cs/0002013 ER -