record conf/ruleml/ChnitiAC12

maintained by Schloss Dagstuhl LZI at University of Trier