An Architecture for Heterogeneous Reasoning (Invited Talk).

Jon Barwise

Browse the full TARK paper archive.