record conf/ijcai/GutierrezHW13

maintained by Schloss Dagstuhl LZI at University of Trier