Reference:

J. Esparza, P. Jančar, and A. Miller. On the complexity of consistency and complete state coding. Technical report, University of Stuttgart, July 2006.

Suggested BibTeX entry:

@techreport{JEM06b,
    author = {J. Esparza and P. Jan\v{c}ar and A. Miller},
    institution = {University of Stuttgart},
    month = {July},
    title = {On the complexity of consistency and complete state coding},
    year = {2006}
}