Filter models for conjunctive-disjunctive -calculi. Theoretical Computer Science (1996)

by M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Venue:DFF