Alexei Sharpanskykh Jan Treur Relating Knowledge Specifications by Reduction Mappings. 29-36 2009 ICAART conf/icaart/2009 db/conf/icaart/icaart2009.html#SharpanskykhT09