New paper accepted in International Journal of AI ...