Stem nonclass$ (all stems)

2 papers:

ECOOP-2011-OstermannGKR #composition #information management

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.

LICS-2008-CiabattoniGT #axiom #logic

From Axioms to Analytic Rules in Nonclassical Logics (AC, NG, KT), pp. 229–240.