Lange et al. "Extending Elementary Formal Systems." International Conference on Algorithmic Learning Theory, 2001. doi:10.1007/3-540-45583-3_25
Markdown
[Lange et al. "Extending Elementary Formal Systems." International Conference on Algorithmic Learning Theory, 2001.](https://mlanthology.org/alt/2001/lange2001alt-extending/) doi:10.1007/3-540-45583-3_25
BibTeX
@inproceedings{lange2001alt-extending,
title = {{Extending Elementary Formal Systems}},
author = {Lange, Steffen and Grieser, Gunter and Jantke, Klaus P.},
booktitle = {International Conference on Algorithmic Learning Theory},
year = {2001},
pages = {332-347},
doi = {10.1007/3-540-45583-3_25},
url = {https://mlanthology.org/alt/2001/lange2001alt-extending/}
}