Abduldaim, ....
2018 Mar 30. Algebraic Verification Algorithm. International Journal of System Modeling and Simulation. [Online] 3:1