The Linked Inference Principle, II: The User's Viewpoint.

Larry Wos, Robert Veroff, Barry Smith, William McCune

Browse the full CADE paper archive.