@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://www.info.uaic.ro/wp-content/uploads/2019/02/XXV2_2.pdf}, doi = {10.7561/SACS.2015.2.245} }