BibTeX Export

@article{Authenticus:P-001-AVJ,
	title = {{The pseudovariety J is hyperdecidable}},
	author = {J Almeida and M Zeitoun},
	doi = {10.1051/ita/1997310504571},
	journal = {Rairo-informatique Theorique Et Applications-theoretical Informatics and Applications},
	number = {5},
	pages = {457-482},
	publisher = {Gauthier-villars/editions Elsevier},
	type = {Article},
	volume = {31},
	year = {1997}
}