In: Jürgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference …
In: M. Lalmas; J. Jose; A. Rauber; F. Sebastiani; I. Frommholz (Hrsg.). Proceedings of the European Conference on Research and Advanced Technology for …