@inproceedings{bahia1995etudecomparative,
author	=	{Groupe Bahia},
title	=	{{\'E}tude comparative de trois formalismes en calcul propositionnel},
booktitle	=	{Actes des 5i\`eme Journ\'ees du PRC Intelligence Artificielle},
publisher	=	{Teknea},
pages	=	{126--158},
year	=	{1995}
}