@inproceedings{10409427fac34217ac3701c752b321c4,
title = "Simulating Parity Reasoning",
author = "Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}",
note = "VK: coin hiit logic",
year = "2013",
doi = "10.1007/978-3-642-45221-5_38",
language = "English",
isbn = "978-3-642-45220-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "568--583",
booktitle = "19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013",
address = "Germany",
}