Approximations and Refinements of Certain Answers via Many-Valued Logics.

Marco Console, Paolo Guagliardo, Leonid Libkin

Browse the full KR paper archive.