Relationships between logical formalisms (1993)

by M Cerioli