Yves Bertot Head-Tactics Simplification. 16-29 1997 conf/amast/1997 AMAST db/conf/amast/amast97.html#Bertot97