Angelo Montanari Gabriele Puppis Decidability of the Theory of the Totally Unbounded omega-Layered Structure. 156-160 2004 conf/time/2004 TIME http://csdl.computer.org/comp/proceedings/time/2004/2155/00/21550156abs.htm db/conf/time/time2004.html#MontanariP04