@misc{FurbachObermaier2007, author = {Ulrich Furbach and Claudia Obermaier}, title = {Applications of Automated Reasoning}, institution = {Fachbereich 4}, series = {Arbeitsberichte, FB Informatik}, number = {2007,9}, type = {periodicalpart}, pages = {18}, year = {2007}, }