Jürgen Avenhaus Klaus Madlener Theorembeweisen in hierarchischen bedingten Spezifikationen. 53-60 1996 11 Inform., Forsch. Entwickl. 2 db/journals/ife/ife11.html#AvenhausM96