Check out my first novel, midnight's simulacra!
No pages link to Sipser–Lautemann theorem with the current search settings.