Media type: E-Article Title: Lecture Notes in Computer Science: Monadic Decomposition Contributor: Veanes, Margus; Bjørner, Nikolaj; Nachmanson, Lev; Bereg, Sergey Published: Springer International Publishing, 2014 Published in: Lecture Notes in Computer Science (2014), Seite 628-645 Language: Without Specification DOI: 10.1007/978-3-319-08867-9_42 ISBN: 9783319088662; 9783319088679 ISSN: 0302-9743; 1611-3349 Origination: Footnote: