Belief, provability, and logic programs

Citation:
Alferes, {José Júlio}, and {Luís Moniz} Pereira. "Belief, provability, and logic programs." Journal Of Applied Non-Classical Logics. 5 (1995): 31-50.

Abstract:

n/a

Notes:

n/a