@Inproceedings{EPTCS262.1,
author = {Dowek, Gilles},
year = {2017},
title = {Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems},
editor = {Dubois, Catherine and Woltzenlogel Paleo, Bruno},
booktitle = {{\rm Proceedings of the Fifth Workshop on}
Proof eXchange for Theorem Proving,
{\rm Bras\'ilia, Brazil, 23-24 September 2017}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {262},
publisher = {Open Publishing Association},
pages = {3-12},
doi = {10.4204/EPTCS.262.1},
}