1. Aiken, M.W., Liu Sheng, O.R.: Nexpert object. Expert
All URLs were successfully accessed on January 22, 2013.
Syst. 7(1), 54–57 (1990)
2. Albert, P.: ILOG Rules, embedding rules in C++: Results and limits. In: Proceedings of the OOPSLA’94 Workshop on Embedded Object-Oriented Production Systems (EOOPS). Technical Report LAFORIA 94/24, Institut Blaise Pascal, Paris (1994)
3. Apt, K.R., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 2nd edn. Texts in Computer Science. Springer, Berlin (1997)
4. Apt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 3rd edn. Texts in Computer Science. Springer, Berlin (2009)
5. Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Boston (1985)