Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
Crossref DOI link: https://doi.org/10.1007/s11786-016-0275-z
Published Online: 2016-07-18
Published Print: 2016-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Raggi, Daniel
Bundy, Alan
Grov, Gudmund
Pease, Alison
Funding for this research was provided by:
University of Edinburgh
License valid from 2016-07-18