Search: The Seventeen Provers Of The World
2006
[1] OMEGA (Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg Siekmann), Chapter in The Seventeen Provers of the World (Freek Wiedijk, ed.), Springer, LNCS, number 3600, pp. 127-141, 2006. [bibtex] [pdf] [doi]
Powered by bibtexbrowser