Editable Biblio is accessible from the internal network (or through VPN): http://10.10.24.239:8080/biblio/?section=publication&id=2300099247380836535&mode=view

Petr Pajas (2007): Structure of Submodels - Diagonal indiscernibility in Models of Arithmetic (PhD thesis). In: (bibtex)