Paolo Baldan Paolo Mancarella Alessandra Raffaetà Franco Turini MuTACLP: A Language for Temporal Reasoning with Multiple Theories. 1-40 2002 conf/birthday/2002kowalski2 Computational Logic: Logic Programming and Beyond http://link.springer.de/link/service/series/0558/bibs/2408/24080001.htm db/conf/birthday/kowalski2002-2.html#BaldanMRT02