Dynamic Logic Programming

Citation:
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic Logic Programming." Representation and Reasoning. Morgan Kaufmann, 1998. 98-109.

Abstract:

n/a

Notes:

n/a