@article{Lambers2006GRAMOT,
	title = {Efficient detection of conflicts in graph-based model transformation},
	author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas},
	booktitle = {Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/268f2c8a011b8f4d79f524904d53016d7/pdeleenh},
	timestamp = {2008.05.15}, owner = {pdeleenh},
	keywords = {imported }
}

@article{journals/entcs/LambersEO08,
	title = {Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.},
	author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas},
	journal = {Electr. Notes Theor. Comput. Sci.},
	pages = {17-26},
	url = {http://dblp.uni-trier.de/db/journals/entcs/entcs211.html#LambersEO08},
	volume = {211},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2f50b0e6d1439a98157b3ee6d8c3950a0/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.entcs.2008.04.026}, date = {2008-06-11},
	keywords = {dblp }
}

@article{journals/entcs/OrejasP08,
	title = {Architectural Connectors for Sequence Diagrams.},
	author = {Fernando Orejas and Sonia Pérez},
	journal = {Electr. Notes Theor. Comput. Sci.},
	pages = {111-131},
	url = {http://dblp.uni-trier.de/db/journals/entcs/entcs206.html#OrejasP08},
	volume = {206},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2b96a8212fd455b1c8f852db3ec9cbb28/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.entcs.2008.03.078}, date = {2008-06-11},
	keywords = {dblp }
}

@article{journals/acs/LucioOPP08,
	title = {A Functorial Framework for Constraint Normal Logic Programming.},
	author = {Paqui Lucio and Fernando Orejas and Edelmira Pasarella and Elvira Pino},
	journal = {Applied Categorical Structures},
	number = {3},
	pages = {421-450},
	url = {http://dblp.uni-trier.de/db/journals/acs/acs16.html#LucioOPP08},
	volume = {16},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/200da19e5bcb99c241fe0e405d375f386/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10485-008-9128-5}, date = {2008-05-26},
	keywords = {dblp }
}

@inproceedings{conf/fase/OrejasEP08,
	title = {A Logic of Graph Constraints.},
	author = {Fernando Orejas and Hartmut Ehrig and Ulrike Prange},
	booktitle = {FASE},
	crossref = {conf/fase/2008},
	editor = {José Luiz Fiadeiro and Paola Inverardi},
	pages = {179-198},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fase/fase2008.html#OrejasEP08},
	volume = {4961},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2556d1cd011087a179e2805ae5ecad7d7/dblp},
	description = {dblp},
	date = {2008-04-21}, ee = {http://dx.doi.org/10.1007/978-3-540-78743-3_14}, isbn = {978-3-540-78742-6},
	keywords = {dblp }
}

@article{Lambers2006GRAMOT,
	title = {Efficient detection of conflicts in graph-based model transformation},
	author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas},
	booktitle = {Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)},
	journal = {Electronic Notes in Theoretical Computer Science},
	publisher = {Elsevier},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2f5414dd1d688a001b13baefbd690c610/kimmens},
	description = {AOEvolutionchapter short paper},
	keywords = {imported }
}

@article{Lambers2006GRAMOT,
	title = {Efficient detection of conflicts in graph-based model transformation},
	author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas},
	booktitle = {Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)},
	journal = {Electronic Notes in Theoretical Computer Science},
	publisher = {Elsevier Science},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2f5414dd1d688a001b13baefbd690c610/evol},
	description = {The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008},
	keywords = {imported }
}

@article{Lambers2006GRAMOT,
	title = {Efficient detection of conflicts in graph-based model transformation},
	author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas},
	booktitle = {Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)},
	journal = {Electronic Notes in Theoretical Computer Science},
	publisher = {Elsevier Science},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2f5414dd1d688a001b13baefbd690c610/tommens},
	description = {software evolution bibliography},
	keywords = {imported }
}

@article{journals/entcs/LucioO07,
	title = {Preface.},
	author = {Paqui Lucio and Fernando Orejas},
	journal = {Electr. Notes Theor. Comput. Sci.},
	pages = {1-2},
	url = {http://dblp.uni-trier.de/db/journals/entcs/entcs188.html#LucioO07},
	volume = {188},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/25416753510ae2f6976ddd607bc5f6b7a/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.entcs.2006.05.048}, date = {2007-09-21},
	keywords = {dblp }
}

@inproceedings{conf/csl/GaintzarainHLNO07,
	title = {A Cut-Free and Invariant-Free Sequent Calculus for PLTL.},
	author = {Joxe Gaintzarain and Montserrat Hermo and Paqui Lucio and Marisa Navarro and Fernando Orejas},
	booktitle = {CSL},
	crossref = {conf/csl/2007},
	editor = {Jacques Duparc and Thomas A. Henzinger},
	pages = {481-495},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/csl/csl2007.html#GaintzarainHLNO07},
	volume = {4646},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2cd05bddd304a8c3fc752034d2861188a/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-74915-8_36}, isbn = {978-3-540-74914-1}, date = {2007-08-29},
	keywords = {dblp }
}