G. Gutin, St. Szeider:
"Parameterized and Exact Computation, 8th International Symposium, IPEC 2013 (LNCS 8246)";
in series "Lecture Notes in Computer Science", series editor: Springer Verlag; Springer-Verlag, 2013, ISBN: 978-3-319-03898-8.
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems