Martin Kramer;Claus Unger
-;-
Building and refining abstract planning cases by change of representation language
Journal of Artificial Intelligence Research