Search results for: Christoph Benzmüller
Journal of Automated Reasoning > 2015 > 55 > 4 > 389-404
Web Semantics: Science, Services and Agents on the World Wide Web > 2012 > 12-13 > Complete > 104-117
Annals of Mathematics and Artificial Intelligence > 2012 > 66 > 1-4 > 257-271