@inproceedings{dedaut1990aspects,
author	=	{Groupe DedAut},
title	=	{Aspects de la d\'emonstration automatique en {F}rance},
booktitle	=	{Actes des 3i\`eme Journ\'ees du PRC Intelligence Artificielle},
pages	=	{139--238},
publisher	=	{Teknea},
year	=	{1990}
}