Philippe Balbiani Equation Solving in Geometrical Theories. 31-50 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#Balbiani94