@inproceedings{rebout:hal-01527378,
  TITLE = {{Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach}},
  AUTHOR = {Rebout, Maxime and F{\'e}raud, Louis and Marie-Magdeleine, Lionel and Soloviev, Sergei},
  URL = {https://inria.hal.science/hal-01527378},
  NOTE = {Part 2: Modelling and Formal Methods in Software Development},
  BOOKTITLE = {{4th Central and East European Conference on Software Engineering Techniques (CEESET)}},
  ADDRESS = {Krakow, Poland},
  EDITOR = {David Hutchison and Takeo Kanade and Madhu Sudan and Demetri Terzopoulos and Doug Tygar and Moshe Y. Vardi and Gerhard Weikum and Tomasz Szmuc and Marcin Szpyrka and Jaroslav Zendulka and Josef Kittler and Jon M. Kleinberg and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan and Bernhard Steffen},
  PUBLISHER = {{Springer}},
  SERIES = {Advances in Software Engineering Techniques},
  VOLUME = {LNCS-7054},
  PAGES = {150-163},
  YEAR = {2009},
  MONTH = Oct,
  DOI = {10.1007/978-3-642-28038-2\_12},
  PDF = {https://inria.hal.science/hal-01527378/file/978-3-642-28038-2_12_Chapter.pdf},
  HAL_ID = {hal-01527378},
  HAL_VERSION = {v1},
}