Carlos Castro Peter Borovanský The use of a strategy language for solving search problems. 35-64 2000 29 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai29.html#CastroB00 http://dx.doi.org/10.1023/A:1018900617693