Valentin Goranko Solomon Passy Using the Universal Modality: Gains and Questions. 5-30 1992 2 J. Log. Comput. 1 db/journals/logcom/logcom2.html#GorankoP92