@article{SACS15,
  author        = {Ross Horne},
  title         = {The consistency and complexity of multiplicative additive system virtual},
  journal       = {Scientific Annals of Computer Science},
  volume        = {25},
  number        = {2},
  year          = {2015},
  pages         = {245-316},
  url           = {https://satoss.uni.lu/members/ross/pdf/sacs.pdf},
  doi           = {10.7561/SACS.2015.2.245}
}