Computer Supported Mathematics with OMEGA
@article{SBA-06-a, author = {J\"org Siekmann and Christoph Benzm\"uller and Serge Autexier}, editor = {Benzm\"uller, Christoph}, title = {Computer Supported Mathematics with OMEGA}, journal = {Journal of Applied Logic, special issue on Mathematics Assistance Systems}, volume = {4}, number = {4}, month = {december}, year = {2006}, }