SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION | José Júlio Alferes

SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION

Citation:: Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION." MIT Press. 1994. 424-438.

Abstract:

n/a

Notes:

n/a