(1997). A deductive calculus for conditional equational systems with built-in predicates as premises.
Chicago Style (17th ed.) CitationA Deductive Calculus for Conditional Equational Systems with Built-in Predicates as Premises. 1997.
MLA (8th ed.) CitationA Deductive Calculus for Conditional Equational Systems with Built-in Predicates as Premises. 1997.
Warning: These citations may not always be 100% accurate.