@misc{indiciae379f9fc4faa9, title = {It Is NL-complete to Decide Whether a Hairpin Completion of Regular Languages Is Regular}, author = {Volker Diekert and Steffen Kopecki}, year = {2011}, url = {https://arxiv.org/abs/1101.4824}, note = {Source identifier: 1101.4824} }