@Article{hoffmann:etal:jair-06, author = {J{\"o}rg Hoffmann and Stefan Edelkamp and Sylvie Th{\'i}ebaux and Roman Englert and Frederico Liporace and Sebastian Tr{\"u}g}, title = {Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4}, journal = jair, year = {2006}, volume = {26}, pages = {453-541} } @STRING{jair = "Journal of Artificial Intelligence Research"}