José Júlio Alferes

Citation:

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic Logic Programming." Declarative Programming. 1998. 393-408.

Abstract:

n/a

Notes:

n/a