@inproceedings{
    LaitinenJunttilaNiemela:LPAR2013,
    author = {Laitinen, Tero and Junttila, Tommi and Niemel{\"a}, Ilkka},
    volume = "",
    publisher = "Springer",
    isbn = "",
    language = "eng",
    title = "Simulating Parity Reasoning",
    series = "Advanced Research in Computing and Software Science, LNCS ARCoSS",
    booktitle = "Logic Programming and Automated Reasoning, 19th International Conference, LPAR 2013, Stellenbosch, South Africa, December 15-19, 2013, Proceedings",
    flags = "copy LOGIC COIN HIIT",
    country = "South Africa",
    responsibleauthor = "Junttila, Tommi and Niemelä, Ilkka",
    juforank = "1",
    il = "no",
    eventdetails = "19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013",
    year = "2013",
    unitcode = "T306-99, T312-1",
    kay = "NA",
    impactfactor = "A4"
}