Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao, editors, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021. Volume 3009 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
Conference: kr2021
@proceedings{kr-2021soqe,
title = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021},
year = {2021},
url = {https://nbn-resolving.org/urn:nbn:de:0074-3009-1},
researchr = {https://researchr.org/publication/kr-2021soqe},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021},
conference = {kr},
editor = {Renate A. Schmidt and Christoph Wernhard and Yizheng Zhao},
volume = {3009},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}