M. Glauer, F. Neuhaus, T. Mossakowski, и J. Hastings. German conference on artificial intelligence 2023, том 14236 из Lecture Notes in Artificial Intelligence, стр. 31-45. Springer, (2023)Best paper award. Also available at https://doi.org/10.48550/arXiv.2301.08577.