Jacqueline Vauzeilles Ordinals II: Some Applications and a Functorial Approach. 27-57 1996 16 Ann. Math. Artif. Intell. db/journals/amai/amai16.html#Vauzeilles96