b'@inproceedings{BlanchetteFSCD2017,'b'\nTITLE = {Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in {Isabelle}/{HOL}},\nAUTHOR = {Blanchette, Jasmin Christian and Fleury, Mathias and Traytel, Dmitriy},\nLANGUAGE = {eng},\nISSN = {1868-8969},\nISBN = {978-3-95977-047-7},\nURL = {urn:nbn:de:0030-drops-77155},\nDOI = {10.4230/LIPIcs.FSCD.2017.11},\nPUBLISHER = {Schloss Dagstuhl},\nYEAR = {2017},\nBOOKTITLE = {2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)},\nEDITOR = {Miller, Dale},\nPAGES = {1--18},\nEID = {1},\nSERIES = {Leibniz International Proceedings in Informatics},\nVOLUME = {84},\nADDRESS = {Oxford, UK},\n}\n'