Alessandro Artale Reasoning on temporal class diagrams: Undecidability results. 265-288 2006 46 Ann. Math. Artif. Intell. 3 http://dx.doi.org/10.1007/s10472-006-9019-0 db/journals/amai/amai46.html#Artale06