Before revision:  The algorithm operates over the LAR representation of argument complexes, based on sparse matrices, so being well-suited for implementation on last generation accelerators and GPGPU applications.
After revision:  The algorithm operates over the Linear Algebraic Representation (LAR) of argument complexes, based on sparse matrices, so being well-suited for implementation on last generation accelerators and GPGPU applications.