1. Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto (1995)
2. Lecture Notes in Computer Science;A.J. Bonner,1998
3. de Sainte Marie, C., Hallmark, G., Paschke, A.: RIF Production Rule Dialect (June 2010), W3C Recommendation,
http://www.w3.org/TR/rif-prd/
4. Garcia-Molina, H., Salem, K.: Sagas. SIGMOD Rec. 16, 249–259 (1987)
5. Gelfond, M., Lifschitz, V.: Action languages. Electr. Trans. Artif. Intell. 2, 193–210 (1998)