Osorio, M;    Pérez, JAN;    Arrazola, J;      (2002)    A logical approach to A-Prolog.                   Electronic Notes in Theoretical Computer Science , 67    284 - 295.    10.1016/S1571-0661(04)80554-1 <https://doi.org/10.1016/S1571-0661%2804%2980554-1>.       Green open access