Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Fleury, Mathias Automation of Logic, MPI for Informatics, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2017/7715/ (出版社版)
http://drops.dagstuhl.de/doku/urheberrecht1.html (著作権譲渡合意書)
Blanchette, J. C., Fleury, M., & Traytel, D. (2017). Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. In D., Miller (Ed.), 2nd International Conference on Formal Structures for Computation and Deduction (pp. 1-18). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSCD.2017.11.
