BibTeX Export

@article{Authenticus:P-000-X4X,
	title = {{Counting a type's (principal) inhabitants}},
	author = {S Broda and L Damas},
	journal = {Fundamenta Informaticae},
	number = {1-2},
	pages = {33-51},
	publisher = {Ios Press},
	type = {Article},
	volume = {45},
	year = {2001}
}