Loew, Tobias ; Streicher, Thomas (2006):
Universality results for models in locally boolean domains.
In: Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25 - 29, 2006 ; proceedings / Zoltán Ésik (ed.). - Berlin [u.a.] : Springer, 2006, S. 456-470 (Lecture notes in computer scie, pp. 456--470, Berlin [u.a.], Springer, [Conference or Workshop Item]