Dieter Poetschke Analogical Reasoning Using Graph Transformations. 135-144 1986 conf/aii/1986 AII db/conf/aii/aii86.html#Poetschke86