record conf/ijcai/Berliner73

maintained by Schloss Dagstuhl LZI at University of Trier