Ahmed et al. "Automatically Generating Problems and Solutions for Natural Deduction." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Ahmed et al. "Automatically Generating Problems and Solutions for Natural Deduction." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/ahmed2013ijcai-automatically/)
BibTeX
@inproceedings{ahmed2013ijcai-automatically,
title = {{Automatically Generating Problems and Solutions for Natural Deduction}},
author = {Ahmed, Umair Z. and Gulwani, Sumit and Karkare, Amey},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {1968-1975},
url = {https://mlanthology.org/ijcai/2013/ahmed2013ijcai-automatically/}
}