Last update: Sun Oct 15 02:16:54 MDT 2017
@Article{Capper:2012:STS, author = "John Capper and Henrik Nilsson", title = "Structural types for systems of equations", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "25", number = "2--4", pages = "275--310", month = dec, year = "2012", CODEN = "LSCOEX", DOI = "https://doi.org/10.1007/s10990-013-9099-6", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Thu Dec 8 13:59:27 MST 2016", bibsource = "http://link.springer.com/journal/10990/25/2; http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib", URL = "http://link.springer.com/accesspage/article/10.1007/s10990-013-9099-6; http://link.springer.com/article/10.1007/s10990-013-9099-6", acknowledgement = ack-nhfb, fjournal = "Higher-Order and Symbolic Computation", journal-URL = "http://link.springer.com/journal/10990", }