Proceedings of the 1st TIR-FOR Symposium… · Super Livre