BibTeX Export

@inproceedings{Authenticus:P-008-KTS,
	title = {{Alphabetical satisfiability problem for trace equations}},
	author = {L Breveglierif and A Cherubini and C Nuccio and E Rodaro},
	booktitle = {Acta Cybernetica},
	number = {2},
	pages = {479-497},
	type = {Proceedings Paper},
	volume = {19},
	year = {2009}
}