@misc{indiciae3d07856d1f67, title = {An Executable Specification of Oncology Dose-Escalation Protocols with Prolog}, author = {David C. Norris and Markus Triska}, year = {2024}, url = {https://arxiv.org/abs/2402.08334}, note = {Source identifier: 2402.08334} }