Belle and Lakemeyer. "On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-131
Markdown
[Belle and Lakemeyer. "On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/belle2011ijcai-progression/) doi:10.5591/978-1-57735-516-8/IJCAI11-131
BibTeX
@inproceedings{belle2011ijcai-progression,
title = {{On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols}},
author = {Belle, Vaishak and Lakemeyer, Gerhard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {744-749},
doi = {10.5591/978-1-57735-516-8/IJCAI11-131},
url = {https://mlanthology.org/ijcai/2011/belle2011ijcai-progression/}
}