Contracting Logics.

Mrcio Moretto Ribeiro, Marcelo E. Coniglio

Browse the full WoLLIC paper archive.