@inproceedings{SEKE-2013-SilvaOL,
	author        = "Natália C. Silva and César A. L. Oliveira and Ricardo M. F. Lima",
	booktitle     = "{Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "26--29",
	publisher     = "{Knowledge Systems Institute Graduate School}",
	title         = "{A Solution to the State Space Explosion Problem in Declarative Business Process Modeling}",
	year          = 2013,
}