Skip to main content

Proofs with Graphs

Sharon Curtis and Gavin Lowe

Journal
Sci. Comput. Program.
Number
1−3
Pages
197−216
Volume
26
Year
1996