In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and …
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Research Department Embedded Intelligence Trippstadter Str. 122 67663 Kaiserslautern Germany