Proof rules for Balzac (1991)

by Harwood WT