BibTeX Export

@article{Authenticus:P-00A-CBQ,
	title = {{Deciding Kleene algebra terms equivalence in Coq}},
	author = {N Moreira and D Pereira and SM de Sousa},
	doi = {10.1016/j.jlamp.2014.12.004},
	journal = {Journal of Logical and Algebraic Methods in Programming},
	number = {3},
	pages = {377-401},
	publisher = {Elsevier Science Inc},
	type = {Article},
	volume = {84},
	year = {2015}
}