BibTeX Export

@article{Authenticus:P-003-TD0,
	title = {{KAT and PHL in Coq}},
	author = {D Pereira and N Moreira},
	doi = {10.2298/csis0802137p},
	journal = {Computer Science and Information Systems},
	number = {2},
	pages = {137-160},
	publisher = {Comsis Consortium},
	type = {Article},
	volume = {5},
	year = {2008}
}