Courcelle, Bruno Graph structure and monadic second order logic: A language theoretic apporach - Cambridge Cambridge University Press 2012 - xiv, 728 p. 2505 29/07/2013 191 08/08/2013 ISBN: GBP99 Dewey Class. No.: 511.3 C834G