@techreport{
    RHN2004:TR_ini,
    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/",
    year = "2004",
    number = "198",
    month = "",
    flags = "SA-53695,public",
    address = "",
    type = "Technical Report",
    institution = "Institute of Computer Science at Freiburg University"
}

AUTHORS:

URL:
http://www.informatik.uni-freiburg.de/tr/

AUTHORS:

URL: http://www.informatik.uni-freiburg.de/tr/

URL:
http://www.informatik.uni-freiburg.de/tr/