record conf/tphol/Catano05

maintained by Schloss Dagstuhl LZI at University of Trier