Recent developments in Omega's proof search programming language
@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}, }