Algebra of proofs - Szabo M E (1978)