@article{
    RinHelNie:AIJ06,
    author = {Rintanen, Jussi and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    publisher = "Elsevier",
    ignoreabstract = "",
    title = "Planning as satisfiability: parallel plans and algorithms for plan search",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    journal = "Artificial Intelligence",
    corerank = "A*",
    number = "12-13",
    volume = "170",
    juforank = "3",
    ignorekeywords = "",
    year = "2006",
    flags = "ACPT",
    pages = "1031--1080"
}