Some model theory for monotone quantifiers. J.A. Makowsky; S. Tulipani — 1977 Archiv für mathematische Logik und Grundlagenforschung
On algebraic specifications of computable algebras with the discriminator technique G. Gagliardi; S. Tulipani — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications