Hitting the sweetspot: Economic rewriting of knowledge bases - Nikitina, N; Glimm, B (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012)