@techreport{
    RHN2004:TR,
    author = {Rintanen, Jussi and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    title = "Parallel Encodings of Classical Planning as Satisfiability",
    url = "http://www.informatik.uni-freiburg.de/tr/",
    address = "",
    number = "198",
    month = "",
    flags = "SA-53695,public",
    year = "2004",
    type = "Technical Report",
    institution = "Institute of Computer Science at Freiburg University"
}