@inproceedings{ciabattonimetcalfe2007,
	title     = {Density Elimination and Rational Completeness for First-Order Logics},
	author    = {A. Ciabattoni and G. Metcalfe},
	year      = {2007},
	volume    = {4514},
	pages     = {132--146},
	series    = {LNCS},
	booktitle = {Symposium on Logical Foundations of Computer Science  (LFCS'07)},
	state     = {published}
}