An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).

L. Thorne McCarty, Ron van der Meyden

Browse the full LPNMR paper archive.