author = {W. Windsteiger},
title = {{Theorema: Overview on Using the System and Details on Composing Hierarchical Knowledge Bases}},
language = {english},
year = {1999},
month = {April 12},
note = {Contributed talk at School on Logic and Computation, Edinburgh, Scotland},
conferencename = {School on Logic and Computation, Edinburgh, Scotland}