The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems.

Jrme Leroux, Vincent Penelle, Grgoire Sutre

Browse the full ATVA paper archive.