Just a naive question : is the system z086 terminating ? (RULES a a -> c b , b b -> c a , c c -> b a ) -- | Claude Marché | mailto:Claude.Marche at lri.fr | | LRI - Bât. 490 | http://www.lri.fr/~marche/ | | Université de Paris-Sud | phoneto: +33 1 69 15 64 85 | | F-91405 ORSAY Cedex | faxto: +33 1 69 15 65 86 |