Jürgen Avenhaus Klaus Madlener Theorem Proving in Hierarchical Causal Specifications. 1-51 1997 Advances in Algorithms, Languages, and Complexity db/conf/birthday/book97.html#AvenhausM97