@incollection{pub3001,
    series = {LNAI},
    abstract = {This paper summarises and gives an overview of the development of the OMEGA system during the 12 years of funding by the SFB 378. 
},
    month = {11},
    year = {2009},
    title = {Resource Adaptive Processes in Automated Reasoning Systems},
    booktitle = {Resource Adaptive Cognitive Processes},
    editor = {Matthew  Crocker and Jörg Siekmann},
    pages = {28},
    isbn = {978-3-540-89407-0},
    publisher = {Springer},
    author = {Serge Autexier and Christoph Benzmüller and Dominik Dietrich and Jörg Siekmann},
    url = {http://www.springer.com/computer/artificial/book/978-3-540-89407-0}
}