%0 Journal Article %1 journals/ife/AvenhausM96 %A Avenhaus, Jürgen %A Madlener, Klaus %D 1996 %J Inform. Forsch. Entwickl. %K dblp %N 2 %P 53-60 %T Theorembeweisen in hierarchischen bedingten Spezifikationen. %U http://dblp.uni-trier.de/db/journals/ife/ife11.html#AvenhausM96 %V 11

@article{journals/ife/AvenhausM96, added-at = {2020-05-21T00:00:00.000+0200}, author = {Avenhaus, Jürgen and Madlener, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/26a5c944cce3db4de3b29230e208f9415/dblp}, ee = {https://doi.org/10.1007/s004500050042}, interhash = {b734900f62619a1f12e64c8ff892418f}, intrahash = {6a5c944cce3db4de3b29230e208f9415}, journal = {Inform. Forsch. Entwickl.}, keywords = {dblp}, number = 2, pages = {53-60}, timestamp = {2020-05-23T11:58:50.000+0200}, title = {Theorembeweisen in hierarchischen bedingten Spezifikationen.}, url = {http://dblp.uni-trier.de/db/journals/ife/ife11.html#AvenhausM96}, volume = 11, year = 1996 }