Author:
Stollberg Michael,Hepp Martin,Hoffmann Jörg
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Astrachan, O.L., Stickel, M.E.: Caching and Lemmaizing in Model Elimination Theorem Provers. In: CADE-11. Proc. of the 11th International Conference on Automated Deduction (1992)
2. Lecture Notes in Computer Science;L. Cabral,2006
3. Clayton, R., Cleary, J.G., Pfahringer, B., Utting, M.: Tabling Structures for Bottom-Up Logic Programming. In: Proc. of 12th International Workshop on Logic Based Program Synthesis and Tranformation, Madrid, Spain (2002)
4. Constantinescu, I., Binder, W., Faltings, B.: Flexible and Efficient Matchmaking and Ranking in Service Directories. In: ICWS 2005. Proc. of the 3rd International Conference on Web Services, Florida, USA (2005)
5. Fensel, D., Lausen, H., Polleres, A., de Bruijn, J., Stollberg, M., Roman, D., Domigue, J.: Enabling Semantic Web Services. The Web Service Modeling Ontology. Springer, Heidelberg (2006)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献