@ARTICLE{OhlbachSchmidt93,
YEAR = {1993},
AUTHOR = {Ohlbach, H. J. and Schmidt, R. A.},
TITLE = {Editorial: The Possibility of Generating True Conjectures},
JOURNAL = {Journal of Logic and Computation},
NUMBER = {3},
NUMBER = {4},
PAGES = {341--343},
}