T. Eiter, E. Erdem, M. Fink, J. Senko: "Comparing Action Descriptions based on Semantic Preferences"; Annals of Mathematics and Artificial Intelligence (invited), 50 (2007), 3-4; 273 - 304.