@inproceedings{DocEng-2007-DejeanM,
	author        = "Hervé Déjean and Jean-Luc Meunier",
	booktitle     = "{Proceedings of the Seventh Symposium on Document Engineering}",
	doi           = "10.1145/1284420.1284456",
	isbn          = "978-1-59593-776-6",
	pages         = "135--143",
	publisher     = "{ACM}",
	title         = "{Logical document conversion: combining functional and formal knowledge}",
	year          = 2007,
}