1. Bruce G Buchanan & Edward H Shortliffe (1984): Rule-based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley.
  2. William J Clancey (1993): Notes on ``Epistemology of a rule-based expert system". Artificial Intelligence 59(1), pp. 197–204, doi:10.1016/0004-3702(93)90186-F.
  3. Andrea Corradini, Tobias Heindel, Frank Hermann & Barbara König (2006): Sesqui-pushout rewriting. In: Graph Transformations. Springer, pp. 30–45, doi:10.1007/11841883_4.
  4. Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh & Glynn Winskel (2012): Graphs, rewriting and pathway reconstruction for rule-based models. In: FSTTCS 2012-IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 18, pp. 276–288, doi:10.4230/LIPIcs.FSTTCS.2012.276.
  5. Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer & Jean Krivine (2009): Rule-based modelling and model perturbation. In: Transactions on Computational Systems Biology XI. Springer, pp. 116–137, doi:10.1007/978-3-642-04186-0_6.
  6. Vincent Danos, Russ Harmer & Ricardo Honorato-Zimmer (2013): Thermodynamic graph-rewriting. In: CONCUR 2013–Concurrency Theory. Springer, pp. 380–394, doi:10.1007/978-3-642-40184-8_27.
  7. Vincent Danos, Russ Harmer & Glynn Winskel (2013): Constraining rule-based dynamics with types. Mathematical Structures in Computer Science 23(02), pp. 272–289, doi:10.1017/S0960129512000114.
  8. Emek Demir (2010): The BioPAX community standard for pathway data sharing. Nature biotechnology 28(9), pp. 935–942, doi:10.1038/nbt.1666.
  9. Yves Diers (1978): Familles universelles de morphismes. Technical report, Université des Sciences et Techniques de Lille I.
  10. Russ Harmer (2009): Rule-based modelling and tunable resolution. Electronic Proceedings in Theoretical Computer Science 9, pp. 65–72, doi:10.4204/EPTCS.9.8.
  11. William S Hlavacek, James R Faeder, Michael L Blinov, Richard G Posner, Michael Hucka & Walter Fontana (2006): Rules for modeling signal-transduction systems. Science's STKE 2006(344), pp. re6, doi:10.1126/stke.3442006re6.

Comments and questions to:
For website issues: