Gradual Abstract Proof Search

Tristan Cazenave. Gradual Abstract Proof Search. ICGA Journal, 25(1):3-15, 2002.

Abstract

Abstract is missing.