ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS

Citation:
Alferes, {José Júlio Alves}. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2. 1 (1992): 562-569.

Abstract:

n/a

Notes:

n/a