Publisher
Springer International Publishing
Reference10 articles.
1. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)
2. Lecture Notes in Computer Science;G Yang,2003
3. Boley, H., Kifer, M.: RIF Basic Logic Dialect, 2nd edn. W3C Recommendation.
http://www.w3.org/TR/rif-bld
4. Lecture Notes in Computer Science;H Boley,2011
5. Lecture Notes in Computer Science;H Boley,2015