@inproceedings{inproceedings310853f5,
title   = {Towards a logic of perishable propositions},
author = {Silva, Flávio Soares Corrêa da},
year = {2002},
publisher = {ITA/CTA},
booktitle   = {Workshop de Computação - WORKCOMP'2002}
}