TY  - RPRT
TI  - A Verified Decision Procedure for Orders in Isabelle/HOL
AU  - Lukas Stevens
AU  - Tobias Nipkow
PY  - 2021
DO  - 10.1007/978-3-030-88885-5_9
UR  - https://arxiv.org/abs/2104.13117
ID  - 2104.13117
ER  -