@inproceedings{conf/jelia/BresolinMSS08,
	title = {Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.},
	author = {Davide Bresolin and Angelo Montanari and Pietro Sala and Guido Sciavicco},
	booktitle = {JELIA},
	crossref = {conf/jelia/2008},
	editor = {Steffen Hölldobler and Carsten Lutz and Heinrich Wansing},
	pages = {62-75},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2008.html#BresolinMSS08},
	volume = {5293},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/209651951961a1ca22ce3e3bb860e853a/dblp},
	description = {dblp},
	date = {2008-10-01}, ee = {http://dx.doi.org/10.1007/978-3-540-87803-2_7}, isbn = {978-3-540-87802-5},
	keywords = {dblp }
}

@article{montanari1984cam,
	title = {{Chebyshev acceleration of the method of Cimmino}},
	author = {T.T. Montanari},
	journal = {Calcolo},
	number = {1},
	pages = {61--74},
	publisher = {Springer},
	volume = {21},
	year = {1984},
	biburl = {http://www.bibsonomy.org/bibtex/2aedfa7b5d6a15c764830fd135a868692/luisma72},
	keywords = {imported }
}

@article{journals/tcs/MontanariS08,
	title = {Preface.},
	author = {Ugo Montanari and Donald Sannella},
	journal = {Theor. Comput. Sci.},
	number = {2-3},
	pages = {81},
	url = {http://dblp.uni-trier.de/db/journals/tcs/tcs402.html#MontanariS08},
	volume = {402},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/253b6a5cbfcbcfca5e24b376598766a04/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.tcs.2008.04.027}, date = {2008-08-21},
	keywords = {dblp }
}

@inproceedings{conf/euroitv/SimeoniGGPRTM08,
	title = {Where Have You Ended Up Today? Dynamic TV and the Inter-tainment Paradigm.},
	author = {Rossana Simeoni and Marina Geymonat and Elena Guercio and Monica Perrero and Amon Rapp and Francesco Tesauri and Roberto Montanari},
	booktitle = {EuroITV},
	crossref = {conf/euroitv/2008},
	editor = {Manfred Tscheligi and Marianna Obrist and Artur Lugmayr},
	pages = {238-247},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/euroitv/euroitv2008.html#SimeoniGGPRTM08},
	volume = {5066},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2871636ac07f23d642ad3b34984bef3a6/dblp},
	description = {dblp},
	date = {2008-08-12}, ee = {http://dx.doi.org/10.1007/978-3-540-69478-6_32}, isbn = {978-3-540-69477-9},
	keywords = {dblp }
}

@article{montanari74,
	title = {Networks of Constraints: Fundamental Properties and Application to Picture Processing},
	author = {U. Montanari},
	journal = {Information Science},
	pages = {95--132},
	volume = {7},
	year = {1974},
	biburl = {http://www.bibsonomy.org/bibtex/2ce6a4262c2e51764538910d65c0f0df1/mfalda},
	description = {Bibliography on Temporal Reasoning},
	keywords = {reasoning temporal }
}

@article{bistarelli97,
	title = {Semiring-based Constraint Logic Programming},
	author = {S. Bistarelli and U. Montanari and F. Rossi},
	journal = {Journal of the ACM},
	number = {2},
	pages = {201--236},
	volume = {44},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2f6142853eac51f42c1ad9f6f7e88524a/mfalda},
	description = {Bibliography on Temporal Reasoning},
	keywords = {reasoning temporal }
}

@book{ehrig:1999,
	title = {Handbook of Graph Grammars and Computing by Graph Transformation},
	author = {H. Ehrig and H.-J. Kreowski and U. Montanari and Rozenberg G.},
	publisher = {World Scientific},
	volume = {3},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2891327d02f7201fbf9c6f596ef25626b/pdeleenh},
	timestamp = {2008.05.15}, owner = {pdeleenh},
	keywords = {imported }
}

@article{corradini1997,
	title = {Handbook of Graph Grammars and Computing by Graph Transformation:
	Volume I. Foundations},
	author = {A. Corradini and U. Montanari and F. Rossi and H. Ehrig and R. Heckel and M. and L\"{o}we},
	pages = {163--245 },
	publisher = { World Scientific Publishing Co.},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/22b2433b1ba30294cc827fffd95a7e434/pdeleenh},
	book = {Algebraic Approaches to Graph Transformation. Part I: Basic Concepts
	and Double Pushout Approach},
	keywords = {imported }
}

@article{Corradini&al1996,
	title = {Graph processes},
	author = {Andrea Corradini and Ugo Montanari and F. Rossi},
	editor = {G. Engels and H. Ehrig and G. Rozenberg},
	journal = {Fundamenta Informaticae},
	number = {3 and 4},
	pages = {241--265},
	publisher = {IOS Press},
	volume = {26},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/2145f8ea4f3803ac7d347af648f1f6a9f/pdeleenh},
	timestamp = {2008.05.15}, owner = {pdeleenh},
	keywords = {imported }
}

@inproceedings{Corradini&al1996b,
	title = {The category of typed graph grammars and their adjunction with categories
	of derivations},
	author = {Andrea Corradini and H. Ehrig and  {M. L\"owe} and U. Montanari and K. Padberg},
	booktitle = {Proc. Int'l Workshop on Graph Grammars and their Application to Computer
	Science},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/25bfec52dfd5afa6a0ab897d86d79ab7f/pdeleenh},
	timestamp = {2008.05.15}, owner = {pdeleenh},
	keywords = {graph rewriting }
}