%0 Journal Article %1 journals/jar/ShengZRRBT23 %A Sheng, Ying %A Zohar, Yoni %A Ringeissen, Christophe %A Reynolds, Andrew %A Barrett, Clark W. %A Tinelli, Cesare %D 2023 %J J. Autom. Reason. %K dblp %N 4 %P 34 %T Combining Stable Infiniteness and (Strong) Politeness. %U http://dblp.uni-trier.de/db/journals/jar/jar67.html#ShengZRRBT23 %V 67

@article{journals/jar/ShengZRRBT23, added-at = {2023-11-12T00:00:00.000+0100}, author = {Sheng, Ying and Zohar, Yoni and Ringeissen, Christophe and Reynolds, Andrew and Barrett, Clark W. and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2eca2f52d7f39542f2e243e9162364fc4/dblp}, ee = {https://doi.org/10.1007/s10817-023-09684-0}, interhash = {081cee70d512dcae453b3c3deac8f4c3}, intrahash = {eca2f52d7f39542f2e243e9162364fc4}, journal = {J. Autom. Reason.}, keywords = {dblp}, month = {December}, number = 4, pages = 34, timestamp = {2024-04-09T05:03:12.000+0200}, title = {Combining Stable Infiniteness and (Strong) Politeness.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar67.html#ShengZRRBT23}, volume = 67, year = 2023 }