@book(buchanan1984rule,
 author       = {Bruce G Buchanan and Edward H Shortliffe},
 year         = {1984},
 title        = {Rule-based {E}xpert {S}ystems: the {MYCIN} {E}xperiments of the {S}tanford {H}euristic {P}rogramming {P}roject},
 publisher    = {Addison-Wesley},
)
@article(clancey1993notes,
 author       = {William J Clancey},
 year         = {1993},
 title        = {Notes on ``{E}pistemology of a rule-based expert system"},
 journal      = {Artificial Intelligence},
 volume       = {59},
 number       = {1},
 pages        = {197--204},
 doi          = {10.1016/0004-3702(93)90186-F},
)
@incollection(corradini2006sesqui,
 author       = {Andrea Corradini and Tobias Heindel and Frank Hermann and Barbara K{\"o}nig},
 year         = {2006},
 title        = {Sesqui-pushout rewriting},
 booktitle    = {Graph Transformations},
 publisher    = {Springer},
 pages        = {30--45},
 doi          = {10.1007/11841883\_4},
)
@inproceedings(danos2012graphs,
 author       = {Vincent Danos and J{\'e}r{\^o}me Feret and Walter Fontana and Russ Harmer and Jonathan Hayman and Jean Krivine and Thompson-Walsh, Chris and Glynn Winskel},
 year         = {2012},
 title        = {Graphs, rewriting and pathway reconstruction for rule-based models},
 booktitle    = {FSTTCS 2012-IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
 volume       = {18},
 pages        = {276--288},
 doi          = {10.4230/LIPIcs.FSTTCS.2012.276},
)
@incollection(danos2009rule,
 author       = {Vincent Danos and J{\'e}r{\^o}me Feret and Walter Fontana and Russ Harmer and Jean Krivine},
 year         = {2009},
 title        = {Rule-based modelling and model perturbation},
 booktitle    = {Transactions on Computational Systems Biology XI},
 publisher    = {Springer},
 pages        = {116--137},
 doi          = {10.1007/978-3-642-04186-0\_6},
)
@incollection(danos2013thermodynamic,
 author       = {Vincent Danos and Russ Harmer and Honorato-Zimmer, Ricardo},
 year         = {2013},
 title        = {Thermodynamic graph-rewriting},
 booktitle    = {CONCUR 2013--Concurrency Theory},
 publisher    = {Springer},
 pages        = {380--394},
 doi          = {10.1007/978-3-642-40184-8\_27},
)
@article(danos2013constraining,
 author       = {Vincent Danos and Russ Harmer and Glynn Winskel},
 year         = {2013},
 title        = {Constraining rule-based dynamics with types},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 number       = {02},
 pages        = {272--289},
 doi          = {10.1017/S0960129512000114},
)
@article(demir2010biopax,
 author       = {Emek Demir},
 year         = {2010},
 title        = {The {B}io{PAX} community standard for pathway data sharing},
 journal      = {Nature biotechnology},
 volume       = {28},
 number       = {9},
 pages        = {935--942},
 doi          = {10.1038/nbt.1666},
)
@article(diers,
 author       = {Yves Diers},
 year         = {1978},
 title        = {Familles universelles de morphismes},
 journal      = {Technical report, Universit{\'e} des Sciences et Techniques de Lille I},
)
@article(harmer2009rule,
 author       = {Russ Harmer},
 year         = {2009},
 title        = {Rule-based modelling and tunable resolution},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {9},
 pages        = {65--72},
 doi          = {10.4204/EPTCS.9.8},
)
@article(hlavacek2006rules,
 author       = {William S Hlavacek and James R Faeder and Michael L Blinov and Richard G Posner and Michael Hucka and Walter Fontana},
 year         = {2006},
 title        = {Rules for modeling signal-transduction systems},
 journal      = {Science's STKE},
 volume       = {2006},
 number       = {344},
 pages        = {re6},
 doi          = {10.1126/stke.3442006re6},
)