@inproceedings{6fa3a7549c884985abfc67ee268fce0b,
title = "Conflict Propagation and Component Recursion for Canonical Labeling",
author = "Tommi Junttila and Petteri Kaski",
note = "VK: hiit logic",
year = "2011",
language = "English",
publisher = "Springer",
pages = "151--162",
editor = "A. Marchetti-Spaccamela and M. Segal",
booktitle = "TAPAS Theory and Practice of Algorithms in (Computer) Systems, First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011",
address = "Germany",
}