Labelled Modal Logics: Quantifiers (1998)

by David Basin , Seán Matthews , Luca Viganò
Citations:15 - 2 self