Recent developments in Omega's proof search programming language<pre>@inproceedings{AD-10-b,
  author        = {Serge Autexier and Dominik Dietrich},
  editor        = {Lucas Dixon and James Davenport},
  booktitle     = {Emerging Trends Papers accepted for PLMMS 2010},
  title         = {Recent developments in Omega's proof search programming language},
  journal       = {SIGSAM Bulletin },
  volume        = {44:2},
  publisher     = {ACM SIGSAM},
  pages         = {52-59},
  month         = {july},
  year          = {2010},
}
</pre>