MetTeL2: Towards a prover generation platform (bibtex)

by D. Tishkovsky, R. A. Schmidt and M. Khodadadi.

Reference:

MetTeL2: Towards a prover generation platform (D. Tishkovsky, R. A. Schmidt and M. Khodadadi.), 2012.

Bibtex Entry:

@UNPUBLISHED{Met2SysDesc,
Author = {D. Tishkovsky and R. A. Schmidt and M. Khodadadi.},
YEAR = {2012},
TITLE = {MetTeL2: Towards a prover generation platform},
URL = {papers/MetTeL2SysDesc.pdf}
}