@inproceedings{
    RinHelNie:JELIA04,
    author = {Rintanen, Jussi and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    note = "",
    title = "Parallel Encodings of Classical Planning as Satisfiability",
    url = "http://www.tcs.hut.fi/~ini/papers/",
    series = "Lecture Notes in Artificial Intelligence 3229",
    booktitle = "Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04)",
    year = "2004",
    month = "September",
    volume = "",
    flags = "SA-53695,copy",
    address = "Lisbon, Portugal",
    pages = "307--319"
}