@inproceedings{AFL-2017-MaraisZ,
	author        = "Laurette Marais and Lynette van Zijl",
	booktitle     = "{Proceedings 15th International Conference on Automata and Formal Languages}",
	doi           = "10.4204/EPTCS.252.16",
	ee            = "http://arxiv.org/abs/1708.06466",
	pages         = "157--169",
	title         = "{Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata}",
	year          = 2017,
}