@misc{misc12e07e33,
title   = {A two-sorted interpretation for annotated logic},
author = {Silva, Flávio Soares Corrêa da and Carbogim, Daniela Vasconcelos},
year = {1998},
publisher = {IME-USP}
}