Proofs, search and computation in general logic (1990)

by D Pym