Independent instances for some undecidable problemsCristian Calude and Gheorghe PăunRAIRO. Inform. théor., 17 1 (1983) 49-54DOI: https://doi.org/10.1051/ita/1983170100491
